Congruence Closure Modulo Associativity and Commutativity
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 245-259
- https://doi.org/10.1007/10720084_16
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Normalization via Rewrite ClosuresPublished by Springer Nature ,1999
- Shostak's congruence closure as completionPublished by Springer Nature ,1997
- Gröbner BasesPublished by Springer Nature ,1993
- On ground AC-completionPublished by Springer Nature ,1991
- Canonical Equational ProofsPublished by Springer Nature ,1991
- Rewrite SystemsPublished by Elsevier ,1990
- Completion for rewriting modulo a congruenceTheoretical Computer Science, 1989
- The complexity of the word problems for commutative semigroups and polynomial idealsAdvances in Mathematics, 1982
- New decision algorithms for finitely presented commutative semigroupsComputers & Mathematics with Applications, 1981
- Proving termination with multiset orderingsCommunications of the ACM, 1979