The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
1993, volume: 102, number: 1

  1. Stephen L. Bloom, Zoltán Ésik, Dirk Taubner
    Iteration Theories of Synchronization Trees [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:1, pp:1-55 [Journal]
  2. Eric Shade, K. T. Narayana
    Real-Time Semantics for Shared-Variable Concurrency [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:1, pp:56-82 [Journal]
  3. A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
    The Undecidability of the Semi-unification Problem [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:1, pp:83-101 [Journal]
  4. Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes
    Using Inductive Counting to Simulate Nondeterministic Computation [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:1, pp:102-117 [Journal]
  5. Sanjay Jain, Arun Sharma
    Learning with the Knowledge of an Upper Bound on Program Size [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:1, pp:118-166 [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