Productive Use of Failure in Inductive Proof (1995)

Cached

Download Links

by Andrew Ireland , Alan Bundy
Venue:Journal of Automated Reasoning
Citations:100 - 24 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
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
127 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
1636 The Design of Everyday Things – D Norman - 2002
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002