The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2002, volume: 288, number: 1

  1. Georg Moser
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:1- [Journal]
  2. Arnold Beckmann
    Notations for exponentiation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:3-19 [Journal]
  3. Harry Buhrman, Ronald de Wolf
    Complexity measures and decision tree complexity: a survey. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:21-43 [Journal]
  4. Alessandra Carbone
    Streams and strings in formal proofs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:45-83 [Journal]
  5. Pierluigi Crescenzi, Gianluca Rossi
    On the Hamming distance of constraint satisfaction problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:85-100 [Journal]
  6. Thomas Eiter, Helmut Veith
    On the complexity of data disjunctions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:101-128 [Journal]
  7. Erich Grädel
    Guarded fixed point logics and the monadic theory of countable trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:129-152 [Journal]
  8. Leonid Libkin, Limsoon Wong
    Lower bounds for invariant queries in logics with counting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:153-180 [Journal]
  9. Zenon Sadowski
    On an optimal propositional proof system and the structure of easy subsets of TAUT. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:181-193 [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