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

12. CADE 1994: Nancy, France

Alan Bundy (Ed.): Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Lecture Notes in Computer Science 814 Springer 1994, ISBN 3-540-58156-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talk

Heuristics for Induction

Experiments with Resolution Systems

Implicit vs. Explicit Induction

Induction

Heuristics for Controlling Resolution

Panel Discussion

ATP Problems

Unification

Logic Programming Applications

Applications

Special-Purpose Provers

Banquet Speech

Invited Talk

Rewrite Rule Termination

ATP Efficiency

Invited Talk

AC Unification

Higher-Order Theorem Proving

Higher-Order Unification

General Unification

Natural Systems

Problem Sets

System Descriptions

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