
Journals in DBLP
Inf. Comput. 1989, volume: 81, number: 1
 Jerzy Tiuryn
A Simplified Proof of DDL < DL [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:1, pp:112 [Journal]
 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:1331 [Journal]
 Alan Gibbons, Wojciech Rytter
Optimal Parallel Algorithm for Dynamic Expression Evaluation and ContextFree Recognition [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:1, pp:3245 [Journal]
 Aviezri S. Fraenkel
The Use and Usefulness of Numeration Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:1, pp:4661 [Journal]
 KerI Ko
Distinguishing Conjunctive and Disjunctive Reducibilities by Sparse Sets [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:1, pp:6287 [Journal]
 Joost Engelfriet, George Leih
Linear Graph Grammars: Power and Complexity [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:1, pp:88121 [Journal]
