
Journals in DBLP
Inf. Comput. 1993, volume: 102, number: 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:155 [Journal]
 Eric Shade, K. T. Narayana
RealTime Semantics for SharedVariable Concurrency [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:102, n:1, pp:5682 [Journal]
 A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
The Undecidability of the Semiunification Problem [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:102, n:1, pp:83101 [Journal]
 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:102117 [Journal]
 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:118166 [Journal]
