4th ALPUK 1992: London

Program Analysis

Language and Implementation Issues

Parallelism

Applications in Logic

Tutorials

a service of Schloss Dagstuhl - Leibniz Center for Informatics