The Use of Planning Critics in Mechanizing Inductive Proofs (1992)

View PDF

Download Links

by Andrew Ireland
Venue:International Conference on Logic Programming and Automated Reasoning -- LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624
Citations:59 - 11 self

Documents Related by Co-Citation

163 Rippling: a heuristic for guiding inductive proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
272 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
130 The oyster-clam system – Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill - 1990
133 Edinburgh LCF - A mechanised logic of computation – M J Gordon, A J Milner, C P Wadsworth - 1979
548 A Computational Logic – R S Boyer, J S Moore - 1979
1535 A Discipline of Programming – E W DIJKSTRA - 1976
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
498 The Science of Programming – D Gries - 1981
879 A formulation of the simple theory of types – A Church - 1940