12th CADE 1994: Nancy, France

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics