The use of planning critics in mechanizing inductive proofs
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 178-189
- https://doi.org/10.1007/bfb0013060
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The use of explicit plans to guide inductive proofsPublished by Springer Nature ,2010
- Experiments with proof plans for inductionJournal of Automated Reasoning, 1991
- Extensions to the rippling-out tactic for guiding inductive proofsPublished by Springer Nature ,1990
- Edinburgh LCFLecture Notes in Computer Science, 1979