Journals in DBLP
Inf. Comput. 1994, volume: 108, number: 1
Sauro Tulipani Decidability of the Existential Theory of Infinite Terms with Subterm Relation [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:108, n:1, pp:1-33 [Journal ] Hans L. Bodlaender , Shlomo Moran , Manfred K. Warmuth The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:108, n:1, pp:34-50 [Journal ] Gérard Boudol Lambda-Calculi for (Strict) Parallel Functions [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:108, n:1, pp:51-127 [Journal ] Frank S. de Boer , Catuscia Palamidessi Embedding as a Tool for Language Comparison [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:108, n:1, pp:128-157 [Journal ] Rafail E. Krichevsky Occam's Razor, Partially Specified Boolean Functions, String Matching, and Independent Sets [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:108, n:1, pp:158-174 [Journal ]