8. ICLP 1991: Paris, France

Theory I

Program Analysis

High Order I

Implementation I

Application I

Constraints I

High Order II

Program Analysis II

Extensions of LP

Theory II

Implementation II

Abduction

Application II

Uncertainty

Program Analysis III

Theory III

Theory IV

Theory V

Constraints II

Implementation III

Implementation IV

Implementation V

Abstracts of Poster Sessions

Abstracts of Invited Talks

Abstracts of Advanced Tutorials