A Rational Reconstruction and Extension of Recursion Analysis (1992)

Cached

Download Links

by Alan Bundy , Frank Van Harmelen , Jane Hesketh , Alan Smaill , Andrew Stevens
Venue:Proceedings of the Eleventh International Joint Conference on Artificial Intelligence
Citations:26 - 13 self

Active Bibliography

162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
42 The automation of proof by mathematical induction – Alan Bundy - 1997
3 Higher Order Function Synthesis Through Proof Planning – Andrew Cook, Andrew Ireland, Greg Michaelson - 2001
The Specialization of Constructive Existence Proofs – Peter Madden - 1993
Recursive Program Optimization Through Inductive Synthesis Proof Transformation – Peter Madden, Alan Bundy, Alan Smaill - 1999
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
93 Experiments with Proof Plans for Induction – Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill - 1992
Automating the Synthesis of Decision Procedures – Alessandro Armando, Jason Gallagher, Alan Smaill - 1994
74 A Science of Reasoning – Alan Bundy - 1991
External Analogy in Inductive Theorem Proving – Erica Melis And, Erica Melis, Jon Whittle - 1997
5 Automating the Synthesis of Decision Procedures in a Constructive Metatheory – Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy - 1996
1 Symbolic Reasoning by Difference Reduction – David A. Basin, Im Stadtwald, Toby Walsh - 1994
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers – Arno Schönegge - 1994
1 External Analogy in Inductive Theorem Proving – Erica Melis, Jon Whittle - 1997
6 Using Rippling for Equational Reasoning – Dieter Hutter - 1996
13 Experiments in Automating Hardware Verification using Inductive Proof Planning – Francisco J. Cantu , Alan Bundy, Alan Smaill, David Basin - 1996
25 Analogy in Inductive Theorem Proving – Erica Melis, Jon Whittle - 1998
13 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
24 The Use of Proof Plans to Sum Series – Toby Walsh, Alex Nunes, Alan Bundy - 1992