11. WLP 1995: Wien, Austria

Andreas Krall, Ulrich Geske: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270
Postscript Files

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