9. ICLP / SLP (JICSLP) 1992: Washington, DC

Invited Talks

Advanced Tutorials

Unification

Programming Languages Issues

Verification I

Functions and Equations

Constraints

Deductive Databases

Verification II

Implementation I

Negation I

Concurrent Logic Programming

Meta and Higher-Order Programming

Negation II

Linear Logic

Implementation II

Abduction

Implementation of Parallelism

Program Analysis

Semantics

Addendum