WRS2011 Accepted Papers

Hans Zantema. Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

Matthias Raffelsieper. Productivity of Non-Orthogonal Term Rewrite Systems

Walid Belkhir and Alain Giorgetti. Lazy Term Rewriting Modulo Associativity and Commutativity

Nao Hirokawa and Aart Middeldorp. Strategies for Decreasingly Confluent Rewrite Systems

Vladimir Komendantsky. Application of monadic substitution to recursive type containment

Sandra Alves, Maribel Fernandez, Mario Florido and Ian Mackie. Closed reduction strategies in a linear lambda calculus with recursion

Sandra Alves and Ian Mackie. Constrained beta reduction