default search action
10th WRS 2011: Novi Sad, Serbia
- Santiago Escobar:
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. EPTCS 82, 2011 - 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 - Walid Belkhir, Alain Giorgetti:
Lazy AC-Pattern Matching for Rewriting. 37-51 - Matthias Raffelsieper:
Productivity of Non-Orthogonal Term Rewrite Systems. 53-67 - Hans Zantema:
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic. 69-76
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.