Adaptation of Declaratively Represented Methods in Proof Planning (1995)

Cached

Download Links

by Xiaorong Huang , Manfred Kerber , Lassaad Cheikhrouhou
Venue:SEKI REPORT SR-95-12, FACHBEREICH INFORMATIK, UNIVERSIT AT DES SAARLANDES
Citations:4 - 2 self

Active Bibliography

3 Adapting the Diagonalization Method by Reformulations – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik - 1995
2 Proving Ground Completeness of Resolution by Proof Planning – Manfred Kerber, Arthur Christian Sehn - 1997
6 Proof Planning: A Practical Approach To Mechanized Reasoning In Mathematics – Manfred Kerber - 1998
15 Planning Mathematical Proofs with Methods – Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn - 1994
1 Reuse of Proofs by Meta-Methods – Xiaorong Huang, Manfred Kerber, Fachbereich Informatik - 1995
3 Planning and patching proof – Alan Bundy - 2004
43 The automation of proof by mathematical induction – Alan Bundy - 1997
8 Extensions to a Generalization Critic for Inductive Proof – Andrew Ireland, Alan Bundy - 1996
5 Using Tactics to Reformulate Formulae for Resolution Theorem Proving – Manfred Kerber, Axel Präcklein - 1996
14 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
The Diagonalization Method In Automatic Proof – Jeremy Gow, Toby Walsh - 1997
9 A Divergence Critic for Inductive Proof – Toby Walsh - 1996
9 Termination Orderings for Rippling – David A. Basin, Toby Walsh - 1994
11 Relational rippling: A general approach – Alan Bundy, Vincent Lombart - 1995
41 A Calculus for and Termination of Rippling – David A. Basin, Toby Walsh - 1996
5 Predicate synthesis for correcting faulty conjectures: The proof planning paradigm – Raúl Monroy - 2003
3 Guiding Synthesis Proofs – Vincent Lombart, Universit'e Catholique De Louvain, Geraint Wiggins, Yves Deville - 1993
An Integrated Approach to High . . . – Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
26 Middle-Out Reasoning for Synthesis and Induction – Ina Kraan, David Basin, Alan Bundy - 1995