3. ELP 1992: Bologna, Italy

Negation

Constraints, Functions and Sets

Modules, Objects, and Inheritance

Concurrency

Proof Theory

Implementation Issues

a service of Schloss Dagstuhl - Leibniz Center for Informatics