1. Preface

   • Jügen Giesl
   • Deepak Kapur

   OriginalPaper 19 January 2006 Pages: 323 - 323

2. Mechanically Proving Termination Using Polynomial Interpretations

   • Evelyne Contejean
   • Claude Marché
   • Xavier Urbain

   OriginalPaper 05 July 2006 Pages: 325 - 363

3. Termination Proofs for String Rewriting Systems via Inverse Match-Bounds

   • Alfons Geser
   • Dieter Hofbauer
   • Johannes Waldmann

   OriginalPaper 27 January 2006 Pages: 365 - 385

4. Ordinal Arithmetic: Algorithms and Mechanization

   • Panagiotis Manolios
   • Daron Vroon

   OriginalPaper 23 June 2006 Pages: 387 - 423