


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 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














