5. ALP 1996: Aachen, Germany

Invited Talk

Logic Programming

Term Rewriting

Integration of Paradigms

Abstract Interpretation

Lambda-Calculus and Rewriting

Types