5. ALP 1996: Aachen, Germany

Invited Talk

Logic Programming

Term Rewriting

Integration of Paradigms

Abstract Interpretation

Lambda-Calculus and Rewriting

Types

maintained by Schloss Dagstuhl LZI at University of Trier