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

7. ICLP 1990: Jerusalem, Israel

David H. D. Warren, Péter Szeredi (Eds.): Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990. MIT Press 1990, ISBN 0-262-73090-1

Concurrent Logic Languages

Architectures

Logic Databases

Implementation

Constraints, Attribute Grammars

Independent And-Parallelism

And-Parallelism

Parallel Systems and Algorithms

Grammars, Program Mappings, Proof Constructions

Semantics

Language Issues

Higher-Order Logic, Abduction

Negation

Program Termination

Program Synthesis and Optimization

Program Analysis and Transformation

Abstracts of Invited Lectures

Abstracts of Advanced Tutorials

Copyright © Sat May 16 23:20:23 2009 by Michael Ley (ley@uni-trier.de)