Difference matching
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The use of explicit plans to guide inductive proofsPublished by Springer Nature ,2010
- Higher-order critical pairsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The use of proof plans to sum seriesPublished by Springer Nature ,1992
- Guiding induction proofsPublished by Springer Nature ,1990
- 10th International Conference on Automated DeductionPublished by Springer Nature ,1990
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977