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

3. SLP 1986: Salt Lake City, Utah

Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, September 22-25, 1986. IEEE-CS 1986, ISBN 0-8186-0728-9

The long versions of selected papers were published in a special issue of the Journal of Logic Programming (Volume 6, Numbers 1 & 2, January/March 1989).

Invited Speaker

Applications

Secondary Storage

Compilation

Invited Speaker

Theory

Control

Unification

Parallelism

Performance

Warren Abstract Machine

Copyright © Fri Mar 12 17:21:46 2010 by Michael Ley (ley@uni-trier.de)