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

8. ISLP 1991: San Diego, California, USA

Vijay A. Saraswat, Kazunori Ueda (Eds.): Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991. MIT Press 1991, ISBN 0-262-69147-7

Programming Environments

Non-Horn Programs

Non-Monotonicity I

Reasoning about Programs I

Concurrency and Parallelism I

Types and Rewriting

Non-Classical Logics I

Warren Abstract Machine

Non-Classical Logics II

Bottom-Up Evaluation

Language Constructs

Constraints I

Concurrency and Parallelism II

Reasoning about Programs II

Non-Monotonicity II


Program Transformation and Synthesis

Constraints II

Invited Talks

Advanced Tutorials

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