Proving Ground Completeness of Resolution by Proof Planning (1997)

by Manfred Kerber , Arthur Christian Sehn
Citations:2 - 1 self

Active Bibliography

4 Adaptation of Declaratively Represented Methods in Proof Planning – Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou - 1995
3 Adapting the Diagonalization Method by Reformulations – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik - 1995
15 Planning Mathematical Proofs with Methods – Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn - 1994
41 Integrating computer algebra into proof planning – Manfred Kerber, Michael Kohlhase, Volker Sorge - 1998
6 Proof Planning: A Practical Approach To Mechanized Reasoning In Mathematics – Manfred Kerber - 1998
1 Reuse of Proofs by Meta-Methods – Xiaorong Huang, Manfred Kerber, Fachbereich Informatik - 1995
17 Methods - The Basic Units for Planning and Verifying Proofs – Xiaorong Huang, Manfred Kerber, Michael Kohlhase - 1992
10 Analogy in CLAM – Erica Melis
The Diagonalization Method In Automatic Proof – Jeremy Gow, Toby Walsh - 1997
An Integrated Approach to Program Reasoning – Andrew Ireland , Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
11 Proof Plans for the Correction of False Conjectures – Raul Monroy , Alan Bundy, Andrew Irel - 1994
An Integrated Approach to High . . . – Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
13 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
42 The automation of proof by mathematical induction – Alan Bundy - 1997
2 Progress in Proof Planning: Planning Limit Theorems Automatically – Erika Melis, Erica Melis - 1997
20 The "Limit" Domain – Erica Melis - 1998
5 Using Tactics to Reformulate Formulae for Resolution Theorem Proving – Manfred Kerber, Axel Präcklein - 1996
3 Planning and patching proof – Alan Bundy - 2004
8 Extensions to a Generalization Critic for Inductive Proof – Andrew Ireland, Alan Bundy - 1996