EPTCS 82 - WRS 2011
Santiago Escobar (Ed.): Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming. 2011 EPTCS 82 [ contents ]- Detlef Plump: The Design of GP 2. ... 1-16
- Alberto Verdejo, Narciso Martí-Oliet: Basic completion strategies as another application of the Maude strategy language. ... 17-36
- Matthias Raffelsieper: Productivity of Non-Orthogonal Term Rewrite Systems. ... 53-67
- Hans Zantema: Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic. ... 69-76
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team