12. CADE 1994: Nancy, France

Invited Talk

Heuristics for Induction

Experiments with Resolution Systems

Implicit vs. Explicit Induction


Heuristics for Controlling Resolution

Panel Discussion

ATP Problems


Logic Programming 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

maintained by Schloss Dagstuhl LZI at University of Trier