Information and Computation, Volume 114

Volume 114, Number 1, 1994

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

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