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

Publication Details:
Book: 10th International Conference on Automated Deduction
Editors:Stickel, M.E.
Book#: 3-540-52885-7
Publisher:Springer-Verlag, Berlin
Pages: 132-146

Paper in Conference Proceedings #454

Title:Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
Authors:Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A
Date: 1990
Keywords:inductive theorem proving, rewriting, tactical reasoning

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