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

Documents Related by Co-Citation

267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
127 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
531 A Computational' Logic – R S Boyer, J S Moore - 1979
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
94 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
23 Turning eureka steps into calculations in automatic program synthesis – Alan Bundy, Alan Smaill, Jane Hesketh - 1990
395 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
130 Edinburgh LCF: A mechanised logic of computation – M Gordon, R Milner, C Wadsworth - 1979
13 Automated synthesis of recursive algorithms as a theorem proving tool – S Biundo
37 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
443 The formulae-as-types notion of construction – William A Howard - 1980
54 The Use of Planning Critics in Mechanizing Inductive Proofs – Andrew Ireland - 1992
61 Guiding inductive proofs – D Hutter - 1990
16 Some generalization heuristics in proofs by induction – R Aubin - 1975
571 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