1. Foreword

   • Georg Gottlob, Miki Hermann, Michäel Rusinowitch, Guest Editors

   OriginalPaper Pages: 639 - 640

2. Finite Presentations of Infinite Structures: Automata and Interpretations

   • Achim Blumensath
   • Erich Grädel

   OriginalPaper 13 September 2004 Pages: 641 - 674

3. Fixed-Point Logics and Solitaire Games

   • Dietmar Berwanger
   • Erich Grädel

   OriginalPaper 13 September 2004 Pages: 675 - 694

4. A Dichotomy in the Complexity of Propositional Circumscription

   • Lefteris M. Kirousis
   • Phokion G. Kolaitis

   OriginalPaper 15 September 2004 Pages: 695 - 715

5. The Complexity of Linear and Stratified Context Matching Problems

   • Manfred Schmidt-Schauß
   • Jürgen Stuber

   OriginalPaper 12 October 2004 Pages: 717 - 740