The use of explicit plans to guide inductive proofs
Top Cited Papers
- 21 December 2010
- book chapter
- Published by Springer Nature
- p. 111-120
- https://doi.org/10.1007/bfb0012826
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulationArtificial Intelligence, 1981
- Edinburgh LCFLecture Notes in Computer Science, 1979