dblp.uni-trier.de www.uni-trier.de

6. SLP/NACLP 1989: Cleveland, Ohio

Ewing L. Lusk, Ross A. Overbeek: Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, October 16-20, 1989. MIT Press 1989, ISBN 0-262-62064-2 (2 Volumes)

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

Copyright © Mon Nov 2 21:13:27 2009 by Michael Ley (ley@uni-trier.de)