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

12. ICLP 1995: Tokyo, Japan

Leon Sterling (Ed.): Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan. MIT Press 1995, ISBN 0-262-69177-9

Invited Talks

Advanced Tutorials

Constraints I

Representing Actions in Logic Programming

Constraints II

Databases

Applications

Nonmonotonic Reasoning

Compiling

Abduction

CC Languages

Programming Techniques

Concurrency

Theory

Parallel Implementation

Program Manipulation

Novel Formalisms

Program Analysis

Poster Abstracts

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