


default search action
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
Volume 114, Number 2, 1994
- 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.