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