dblp.uni-trier.de www.uni-trier.de

8. CADE 1986: Oxford, England

Jörg H. Siekmann (Ed.): 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Lecture Notes in Computer Science 230 Springer 1986, ISBN 3-540-16780-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Copyright © Mon Nov 2 20:22:37 2009 by Michael Ley (ley@uni-trier.de)