11th WLP 1995: Wien, Austria

Invited Talk

Constraint Logic Programming

Theorem Proving

Types and Analysis

Invited Talk

Constraint Logic Programming

Natural Language and Program Transformations

Implementation and Verification

Invited Talk

Theorem Proving

Semantic

a service of Schloss Dagstuhl - Leibniz Center for Informatics