3. ELP 1992: Bologna, Italy

Refine list

showing all ?? records

Negation

Constraints, Functions and Sets

Modules, Objects, and Inheritance

Concurrency

Proof Theory

Implementation Issues

a service of  Schloss Dagstuhl - Leibniz Center for Informatics