Information and Computation, Volume 114

Volume 114, Number 1, 1994

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

Mark A. Fulk, Sanjay Jain: Approximate Inference and Scientific Method. 179-191 BibTeX
Yael Shemesh, Nissim Francez: Finite-State Unification Automata and Relational Languages. 192-213 BibTeX
Evangelos Kranakis, Danny Krizanc, Jacob van den Berg: Computing Boolean Functions on Anonymous Networks. 214-236 BibTeX
Kosaburo Hashiguchi: The Infinite 2-Star Height Hierarchy of Extended Regular Languages of Star Degree at Most Two. 237-246 BibTeX
Gérard Boudol, Ilaria Castellani: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. 247-314 BibTeX
Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom, Grzegorz Rozenberg: Combinatorial Properties of Dependence Graphs. 315-328 BibTeX
William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and Its Correctness. 329-350 BibTeX