The SCEAS System
Navigation Menu

Journals in DBLP

Theory Comput. Syst.
2004, volume: 37, number: 6

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002