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

Publication Details:
Book: 10th Int. Conf. on Automated Deduction
Editors:Stickel, M.E.
Book#: 3-540-52885-7 / 0-387-52885-7
Publisher:Springer-Verlag, Berlin, London
Pages: 132-146

Paper in Conference Proceedings #441

Title:Extensions to the Rippling-out Tactic for Guiding Inductive Proofs
Authors:Bundy,A; Smaill,AD; van Harmelen,F
Date: 1990
Keywords:theorem proving, mathematical induction, proof plans

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