Journals in DBLP
Inf. Comput. 1994, volume: 114, number: 1
Val Tannen , Jean H. Gallier Polymorphic Rewriting Conserves Algebraic Confluence [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:1-29 [Journal ] Corrado Böhm , Benedetto Intrigila The Ant-Lion Paradigm for Strong Normalization [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:30-49 [Journal ] Javier Esparza Reduction and Synthesis of Live and Bounded Free Choice Petri Nets [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:50-87 [Journal ] Ronald L. Rivest , Robert H. Sloan A Formal Model of Hierarchical Concept Learning [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:88-114 [Journal ] Jonathan Sorenson , Ian Parberry Two Fast Parallel Prime Number Sieves [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:115-130 [Journal ] Xavier Nicollin , Joseph Sifakis The Algebra of Timed Processes, ATP: Theory and Application [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:1, pp:131-178 [Journal ]