13th JICSLP 1996: Bonn, Germany

Refine list

showing all ?? records

Joint International Conference and Symposium on Logic Programming

Invited Talk

Constraint Logic Programming

Non-Classical Logic Programming


Deductive Database Updates

Types and Modes

Higher-Order Logic Programming

Computation of Well-Founded Semantics

Analysis and Optimization

Constraint Solving

Stable Model Semantics

Semantics of Negation


Poster Abstracts

a service of  Schloss Dagstuhl - Leibniz Center for Informatics