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).
- Dale Miller:
A Theory of Modules for Logic Programming.
- P. Hoddinott, E. W. Elcock:
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form.
- Allen Van Gelder:
Negation as Failure Using Tight Derivations for General Logic Programs.
Warren Abstract Machine
Last update Sat May 25 19:06:09 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page