Productive Use of Failure in Inductive Proof (1995)

Cached

Download Links

by Andrew Ireland , Alan Bundy
Venue:Journal of Automated Reasoning
Citations:97 - 22 self

Documents Related by Co-Citation

162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
529 A Computational Logic – R S Boyer, J S Moore - 1979
265 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
93 Experiments with Proof Plans for Induction – Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill - 1992
20 Higher-order Annotated Terms for Proof Search – Alan Smaill , Ian Green - 1996
126 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
41 A Calculus for and Termination of Rippling – David A. Basin, Toby Walsh - 1996
26 Middle-Out Reasoning for Synthesis and Induction – Ina Kraan, David Basin, Alan Bundy - 1995
19 Using middle-out reasoning to guide inductive theorem proving, Unpublished – J T Hesketh - 1991
20 Derivation and use of induction schemes in higher-order logic – Konrad Slind - 1997
395 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
24 The Use of Proof Plans to Sum Series – Toby Walsh, Alex Nunes, Alan Bundy - 1992
11 On the Automatic Discovery of Loop Invariants – Andrew Ireland , Jamie Stark - 1997
39 Mechanizing structural induction – Raymond Aubin - 1976
61 Guiding inductive proofs – D Hutter - 1990
7 Logic program synthesis in a higher order setting – D Lacey, J D C Richardson, A Smaill - 2000
13 Experiments in Automating Hardware Verification using Inductive Proof Planning – Francisco J. Cantu , Alan Bundy, Alan Smaill, David Basin - 1996
6 Proof-planning Non-standard Analysis – Ewen Maclean , Jacques Fleuriot, Alan Smaill - 2002
5 Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain – Louise A. Dennis, Alan Smaill - 2001