8. CADE 1986: Oxford, England

Invited Talk

Term Rewriting Systems

Nonclassical Deduction

Equality Reasoning

Program Verification

Graph Based Deduction

Special Deduction Systems

Invited Talk

Constructive ATP

Unification Theory

Theoretical Issues

Logic Programming Oriented Deduction Systems

Deductive Databases, Planning, Synthesis

Extended Abstracts of Courrent Deduction Systems

maintained by Schloss Dagstuhl LZI at University of Trier