6th NACLP 1989: Cleveland, Ohio

Refine list

showing all ?? records

Constraint Logic Programming

Proof Theory

Abstract Interpretation

Applications

Nonmonotonic Inference

Parallel Implementations

Software Engineering

Constructive Negation

Concurrent Logic Programming

Semantics

Program Transformation

Performance of Parallel Systems

Logic Grammars

Database I

Implementation Topics

Database II

WAM I

Extensions to Logic Programming

WAM II

Invited Talks

a service of  Schloss Dagstuhl - Leibniz Center for Informatics