The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #459

Title:Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
Authors:Bundy,A; van Harmelen,F; Smaill,AD
Date:Jan 1990
Presented:Submitted to CADE-10, July 1990
Abstract:In earlier papers we described a technique for automatically constructing inductive proofs, using a technique called rippling to reduce the search. Although essentially correct, further testing on harder examples showed that this technique had to be extended in various ways. Each of the various extensions are described with examples to illustrate why they are needed, but it is shown that the spirit of rippling has been maintained.

[Search These Pages] [DAI Home Page] [Comment]