Foundations of Logic and Functional Programming 1986: Trento, Italy

Part I: Invited Contributions

Part II: Submitted Contributions

a service of Schloss Dagstuhl - Leibniz Center for Informatics