Experiments with Proof Plans for Induction (1992)

Cached

Download Links

by Alan Bundy , Frank van Harmelen , Jane Hesketh , Alan Smaill
Venue:Journal of Automated Reasoning
Citations:95 - 33 self

Documents Related by Co-Citation

267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
533 A Computational Logic – R BOYER, J MOORE - 1979
126 The Oyster–Clam system – A Bundy, F Van Harnelen, C Horn, A Smaill
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
38 Extensions to the rippling-out tactic for guiding inductive proofs – A Bundy, F van Harmelen, A Smaill, A Ireland - 1990
97 Productive Use of Failure in Inductive Proof – Andrew Ireland, Alan Bundy - 1995
27 A rational reconstruction and extension of recursion analysis – Alan Bundy, Frank Van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens - 1989
132 Edinburgh LCF: A Mechanised Logic of Computation. LNCS 78 – M J C Gordon, R Milner, C P Wadsworth - 1979
62 Guiding inductive proofs – D Hutter - 1990
24 Turning eureka steps into calculations in automatic program synthesis – Alan Bundy, Alan Smaill, Jane Hesketh - 1990
20 Using middle-out reasoning to guide inductive theorem proving – J Hesketh - 1991
45 Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation – A Bundy, B Wellham - 1981
13 The CLAM proof planner, user manual and programmer manual (version 1.5). Technical paper in preparation – F van Harmelen, A Ireland, A Stevens, S Negrete - 1992
39 Compter Proofs of Limit Theorems – W W Bledsoe, R S Boyer, W H Henneman - 1972
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
10 Proof Planning for Logic Program Synthesis – Ina Kraan - 1994
80 AI-Techniques in Proof Planning – Erica Melis - 1998
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
26 Middle-Out Reasoning for Synthesis and Induction – Ina Kraan, David Basin, Alan Bundy - 1995