12th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics