WRS

200120052007201120012011

Keyphrases

Publications

2011

Alberto Verdejo, Narciso Martí-Oliet
Basic completion strategies as another application of the Maude strategy language WRS (2011)
Hans Zantema
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic WRS (2011)
Walid Belkhir, Alain Giorgetti
Lazy AC-Pattern Matching for Rewriting WRS (2011)
Matthias Raffelsieper
Productivity of Non-Orthogonal Term Rewrite Systems WRS (2011)
Detlef Plump
The Design of GP 2 WRS (2011)

volume 82, 2011

Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. WRS 82 (2011)