Inductive proofs by specification transformations
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Proof by consistency in equational theoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An effective method for handling initial algebrasPublished by Springer Nature ,1988
- Operational semantics of OBJ-3Published by Springer Nature ,1988
- Proof by consistencyArtificial Intelligence, 1987
- A Strong restriction of the inductive completion procedureLecture Notes in Computer Science, 1986
- Proof by induction using test setsPublished by Springer Nature ,1986
- Reductions in tree replacement systemsTheoretical Computer Science, 1985
- Semantic confluence tests and completion methodsInformation and Control, 1985
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- On proving inductive properties of abstract data typesPublished by Association for Computing Machinery (ACM) ,1980