Foreword Georg Gottlob, Miki Hermann, Michäel Rusinowitch, Guest Editors OriginalPaper Pages: 639 - 640
Finite Presentations of Infinite Structures: Automata and Interpretations Achim BlumensathErich Grädel OriginalPaper 13 September 2004 Pages: 641 - 674
Fixed-Point Logics and Solitaire Games Dietmar BerwangerErich Grädel OriginalPaper 13 September 2004 Pages: 675 - 694
A Dichotomy in the Complexity of Propositional Circumscription Lefteris M. KirousisPhokion G. Kolaitis OriginalPaper 15 September 2004 Pages: 695 - 715
The Complexity of Linear and Stratified Context Matching Problems Manfred Schmidt-SchaußJürgen Stuber OriginalPaper 12 October 2004 Pages: 717 - 740