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

9. ICLP / SLP (JICSLP) 1992: Washington, DC

Krzysztof R. Apt (Ed.): Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, November 1992. MIT Press 1992, ISBN 0-262-51064-2

Invited Talks

Advanced Tutorials

Unification

Programming Languages Issues

Verification I

Functions and Equations

Constraints

Deductive Databases

Verification II

Implementation I

Negation I

Concurrent Logic Programming

Meta and Higher-Order Programming

Negation II

Linear Logic

Implementation II

Abduction

Implementation of Parallelism

Program Analysis

Semantics

Addendum

Copyright © Mon Nov 2 20:46:19 2009 by Michael Ley (ley@uni-trier.de)