Using linear arithmetic procedure for generating induction schemes
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An overview of the Tecton proof systemTheoretical Computer Science, 1994
- An automated tool for analyzing completeness of equational specificationsPublished by Association for Computing Machinery (ACM) ,1994
- Sufficient-completeness, ground-reducibility and their complexityActa Informatica, 1991
- Automatic proofs by induction in theories without constructorsInformation and Computation, 1989
- Termination of rewritingJournal of Symbolic Computation, 1987