Electronic Notes in Theoretical Computer Science, Volume 237

Volume 237, April 2009

Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008), Castle of Hagenberg, Austria, 14 July 2008

Aart Middeldorp:
Preface. 1-2
Electronic Edition (link) BibTeX
Matthias Raffelsieper, Hans Zantema:
A Transformational Approach to Prove Outermost Termination Automatically. 3-21
Electronic Edition (link) BibTeX
Adria Gascón, Guillem Godoy, Florent Jacquemard:
Closure of Tree Automata Languages under Innermost Rewriting. 23-38
Electronic Edition (link) BibTeX
Naoki Nishida, Masahiko Sakai:
Completion after Program Inversion of Injective Functions. 39-56
Electronic Edition (link) BibTeX
Maribel Fernández, Nikolaos Siafakas:
New Developments in Environment Machines. 57-73
Electronic Edition (link) BibTeX
Stephan Falke, Deepak Kapur:
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. 75-90
Electronic Edition (link) BibTeX
Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. 91-106
Electronic Edition (link) BibTeX
Dorel Lucanu:
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. 107-125
Electronic Edition (link) BibTeX