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)