The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1993, volume: 113, number: 1

  1. Luc Albert, Rafael Casas, François Fages
    Average-Case Analysis of Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:3-34 [Journal]
  2. Volker Diekert
    On the Concentration of Infinite Traces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:35-54 [Journal]
  3. Lance Fortnow, Carsten Lund
    Interactive Proof Systems and Alternating Time-Space Complexity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:55-73 [Journal]
  4. Martin Hühne
    On the Power of Several Queues. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:75-91 [Journal]
  5. Thierry Jéron, Claude Jard
    Testing for Unboundedness of FIFO Channels. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:93-117 [Journal]
  6. Klaus Madlener, Paliath Narendran, Friedrich Otto, Louxin Zhang
    On Weakly Confluent Monadic String-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:119-165 [Journal]
  7. Jun Tarui
    Probablistic Polynomials, AC0 Functions, and the Polynomial-Time Hierarchy. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:167-183 [Journal]
  8. Klaus Weihrauch
    Computability on Computable Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:1, pp:191-210 [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