12th CADE 1994: Nancy, France

Refine list

showing all ?? records

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