8th CADE 1986: Oxford, England

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics