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

7. SLP / NACLP 1990: Austin, Texas

Saumya K. Debray, Manuel V. Hermenegildo (Eds.): Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, October 29 - November 1, 1990. MIT Press 1990, ISBN 0-262-54058-4

Semantics

Implementation I

Constraints and their Applications

Concurrency

Databases

Implementation II

Partial Evaluation

Constraints

Theory

Program Analysis

Proof Theory

Parallelism I

Negation

Parallelism II

Abstracts of Invited Lectures

Abstracts of Advanced Tutorials

Copyright © Mon Mar 15 03:54:47 2010 by Michael Ley (ley@uni-trier.de)