External Links

    Journal: Theory Comput. Syst.

    Volume 37, Issue 6

    639 -- 640Georg Gottlob, Miki Hermann, Michaël Rusinowitch. 2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword
    641 -- 674Achim Blumensath, Erich Grädel. Finite Presentations of Infinite Structures: Automata and Interpretations
    675 -- 694Dietmar Berwanger, Erich Grädel. Fixed-Point Logics and Solitaire Games
    695 -- 715Lefteris M. Kirousis, Phokion G. Kolaitis. A Dichotomy in the Complexity of Propositional Circumscription
    717 -- 740Manfred Schmidt-Schauß, Jürgen Stuber. The Complexity of Linear and Stratified Context Matching Problems
    runs on