4. ALPUK 1992: London

Program Analysis

Language and Implementation Issues

Parallelism

Applications in Logic

Tutorials

maintained by Schloss Dagstuhl LZI at University of Trier