12. CADE 1994: Nancy, France

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