Implicit induction in conditional theories
- 1 January 1995
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 14 (2) , 189-235
- https://doi.org/10.1007/bf00881856
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Canonical conditional rewrite systemsPublished by Springer Nature ,2005
- Rewrite SystemsPublished by Elsevier ,1990
- Term rewriting inductionPublished by Springer Nature ,1990
- Extensions to the rippling-out tactic for guiding inductive proofsPublished by Springer Nature ,1990
- Testing for inductiue (co)-reducibilityPublished by Springer Nature ,1990
- On word problems in Horn theoriesPublished by Springer Nature ,1988
- Computing in Horn Clause TheoriesPublished by Springer Nature ,1988
- Proof by consistencyArtificial Intelligence, 1987
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- Abstract data types and software validationCommunications of the ACM, 1978