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

maintained by Schloss Dagstuhl LZI, founded at University of Trier