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

Cached

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:56 - 11 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
127 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
132 C.P.: Edinburgh LCF: a mechanised logic of computation – M J C Gordon, R Milner, Wadsworth - 1979
1423 A Discipline of Programming – E W Dijkstra - 1976
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
857 A formulation of the simple theory of types – Alonzo Church - 1940
1198 On computable numbers, with an application to the Entscheidungsproblem – A Turing - 1937