Guiding induction proofs
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 147-161
- https://doi.org/10.1007/3-540-52885-7_85
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
- The karlsruhe induction theorem proving systemPublished by Springer Nature ,1986
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Mechanizing structural induction part II: StrategiesTheoretical Computer Science, 1979