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