Proof by consistency in conditional equational theories
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 194-205
- https://doi.org/10.1007/3-540-54317-1_91
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Ground term confluence in parametric conditional equational specificationsPublished by Springer Nature ,2006
- Proof by consistency in equational theoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A strong restriction of the inductive completion procedureJournal of Symbolic Computation, 1989
- Simplifying conditional term rewriting systems : Unification, termination and confluenceJournal of Symbolic Computation, 1987
- Proof by consistencyArtificial Intelligence, 1987
- Semantic confluence tests and completion methodsInformation and Control, 1985
- Conditional rewrite rulesTheoretical Computer Science, 1984
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- 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