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

3. ICLP 1986: London

Ehud Y. Shapiro (Ed.): Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Lecture Notes in Computer Science 225 Springer 1986, ISBN 3-540-16492-8 BibTeX
@proceedings{DBLP:conf/iclp/1986,
  editor    = {Ehud Y. Shapiro},
  title     = {Third International Conference on Logic Programming, Imperial
               College of Science and Technology, London, United Kingdom, July
               14-18, 1986, Proceedings},
  booktitle = {ICLP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {225},
  year      = {1986},
  isbn      = {3-540-16492-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Address

Parallel Implementations

Theory and Complexity

Implementations and Architectures

Inductive Inference and Debugging

Invited Talks

Concurrent Logic Languages

Theory and Semantics

Invited Talk

Parallel Applications and Implementations

Theory and Higher-Order Functions

Program Analysis

Applications and Teaching

Invited Talks

Implementations and Databases

Theory and Negation

Compilation

Models of Computation and Implementation

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