Rippling: A heuristic for guiding inductive proofs

Artificial Intelligence 62 (2):185-253 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,623

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Review: Andrew Hodges, Alan Turing: the Enigma. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
The Turing Person [review of Andrew Hodges, Alan Turing: the Enigma ].I. Grattan-Guinness - 1984 - Russell: The Journal of Bertrand Russell Studies 4 (2).
The Turing Person [review of Andrew Hodges, Alan Turing: the Enigma ]. [REVIEW]I. Grattan-Guinness - 2014 - Russell: The Journal of Bertrand Russell Studies 4 (2):321.
Trade, Commerce, and the State in the Roman World ed. by Andrew Wilson and Alan Bowman.Jonathan S. Perry - 2019 - Classical World: A Quarterly Journal on Antiquity 113 (1):102-103.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,360,066)

6 months
4 (#1,055,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.
Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.
Supporting the formal verification of mathematical texts.Claus Zinn - 2006 - Journal of Applied Logic 4 (4):592-621.

Add more citations