Information and Computation, Volume 87
Volume 87, Number 1-2, 1990
Yuri Gurevich: Preface. 1- Glynn Winskel: A Compositional Proof System on a Category of Labelled Transition Systems. 2-57
- Jean H. Gallier, Paliath Narendran, David A. Plaisted, Wayne Snyder: Rigid E-Unification: NP-Completeness and Applications to Equational Matings. 129-195
- Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. 196-239
- Bard Bloom: Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus. 263-300
- Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. 301-337
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team