Electronic Notes in Theoretical Computer Science, Volume 204

Volume 204, April 2008

• Jürgen Giesl:
  Preface. 1-2
  
• René Thiemann, Aart Middeldorp:
  Innermost Termination of Rewrite Systems by Labeling. 3-19
  
• Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe:
  Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. 21-34
  
• Felix Schernhammer, Bernhard Gramlich:
  Termination of Lazy Rewriting Revisited. 35-51
  
• Masahiko Sakai, Yi Wang:
  Undecidable Properties on Length-Two String Rewriting Systems. 53-69
  
• Pierre-Etienne Moreau, Antoine Reilles:
  Rules and Strategies in Java. 71-82
  
• Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras:
  Regular Strategies as Proof Tactics for CIRC. 83-98
  
• Rachid Echahed:
  On Term-Graph Rewrite Strategies. 99-110
  
• Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
  Towards a Sharing Strategy for the Graph Rewriting Calculus. 111-127
  
• François-Régis Sinot:
  Complete Laziness: a Natural Semantics. 129-145
  
• Elena Machkasova:
  Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. 147-162
  
• Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot:
  Minimality in a Linear Calculus with Iteration. 163-179
  
• José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
  Token-passing Nets for Functional Languages. 181-198