3. ICLP 1986: London

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


Models of Computation and Implementation

maintained by Schloss Dagstuhl LZI at University of Trier