Per Year

14 publications without ACM ID / 1990

Computational Logic (edited volume) — John W. Lloyd
An Introduction to Prolog III (article in journal) — Alain Colmerauer
Equivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. Smolka
The GAMMA Model and its Discipline of Programming (article in journal) — Jean-Pierre Banâtre, Daniel Le Métayer
IEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard Board
What is Intention? (book chapter) — Michael E. Bratman, Andrea Roli
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial (article in journal) — Fred B. Schneider
Distributed Computing: Models and Methods (book chapter) — Leslie Lamport, Nancy Lynch
Decentralized A.I. (edited volume) — Yves Demazeau, Jean-Pierre Müller
The Aurora or-parallel Prolog system (article in journal) — Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman
Tell me a story: A new look at real and artificial memory (book) — Roger C. Schank
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan Christoff
Temporal and Modal Logic (book chapter) — E. Allen Emerson
Programming Language Implementation and Logic Programming (edited volume) — Pierre Deransart, Jan Małuszyński

14 publications in 1990 without ACM ID • top • index • bottom

publications without ACM ID / 1990 / personal