The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
1989, volume: 81, number: 1

  1. Jerzy Tiuryn
    A Simplified Proof of DDL < DL [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:1-12 [Journal]
  2. Michael C. Browne, Edmund M. Clarke, Orna Grumberg
    Reasoning about Networks with Many Identical Finite State Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:13-31 [Journal]
  3. Alan Gibbons, Wojciech Rytter
    Optimal Parallel Algorithm for Dynamic Expression Evaluation and Context-Free Recognition [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:32-45 [Journal]
  4. Aviezri S. Fraenkel
    The Use and Usefulness of Numeration Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:46-61 [Journal]
  5. Ker-I Ko
    Distinguishing Conjunctive and Disjunctive Reducibilities by Sparse Sets [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:62-87 [Journal]
  6. Joost Engelfriet, George Leih
    Linear Graph Grammars: Power and Complexity [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:88-121 [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