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:27 - 14 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
95 Experiments with Proof Plans for Induction – Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill - 1992
97 Productive Use of Failure in Inductive Proof – Andrew Ireland, Alan Bundy - 1995
24 Turning eureka steps into calculations in automatic program synthesis – Alan Bundy, Alan Smaill, Jane Hesketh - 1990
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
132 Edinburgh LCF: A Mechanised Logic of Computation. LNCS 78 – M J C Gordon, R Milner, C P Wadsworth - 1979
13 Automated synthesis of recursive algorithms as a theorem proving tool – S Biundo
38 Extensions to the rippling-out tactic for guiding inductive proofs – A Bundy, F van Harmelen, A Smaill, A Ireland - 1990
24 Logic Program Synthesis via Proof Planning – C Fl Ina Kraan, Ina Kraan, Ina Kraan, David Basin, David Basin, David Basin, Alan Bundy, Alan Bundy, Alan Bundy - 1993
445 The formulae-as-types notion of construction – W A Howard - 1980
54 The Use of Planning Critics in Mechanizing Inductive Proofs – Andrew Ireland - 1992
62 Guiding inductive proofs – D Hutter - 1990
17 Some generalization heuristics in proofs by induction – R Aubin - 1975
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
29 The synthesis of logic programs from inductive proofs – A Bundy, A Smaill, G A Wiggins - 1990
5 A unification algorithm for lambda calculus – G Huet - 1975