Volume 87, Number 1-2, 1990
- Yuri Gurevich:
Preface.
1 BibTeX
- Glynn Winskel:
A Compositional Proof System on a Category of Labelled Transition Systems.
2-57 BibTeX
- Rance Cleaveland, Matthew Hennessy:
Priorities in Process Algebras.
58-77 BibTeX
- Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo:
A Logic for Reasoning about Probabilities.
78-128 BibTeX
- Jean H. Gallier, Paliath Narendran, David A. Plaisted, Wayne Snyder:
Rigid E-Unification: NP-Completeness and Applications to Equational Matings.
129-195 BibTeX
- Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification.
196-239 BibTeX
- Kevin J. Compton, Claude Laflamme:
An Algebra and a Logic for NC¹.
240-262 BibTeX
- Bard Bloom:
Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus.
263-300 BibTeX
- Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws and Decision Problems for Fragments of Second-Order Logic.
301-337 BibTeX
Copyright © Wed Jun 4 19:10:15 2008
by Michael Ley (ley@uni-trier.de)
