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

10. ICLP 1993: Budapest, Hungary

David Scott Warren (Ed.): Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, June 21-25, 1993, Budapest, Hungary. MIT Press 1993, ISBN 0-262-73105-3

Invited Talks

Higher-Order Extensions to Prolog

Freeness

Parallel Implementations 1

Actions

Parallel Implementations 2

Fixpoints

Implementation

Program Synthesis

Constraint Solving

Semantics 1

Constraints

Semantics 2

Compilation

Databases

Poster Abstracts

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