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
Volume 114, Number 2, 1994
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
Copyright ©
Sat May 16 23:59:58 2009 by
Michael Ley
(
ley@uni-trier.de
)