Electronic Notes in Theoretical Computer Science, Volume 237

Volume 237, April 2009

• 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