Abstract Congruence Closure and Specializations
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Congruence Closure Modulo Associativity and CommutativityPublished by Springer Nature ,2000
- Rigid E-Unification RevisitedPublished by Springer Nature ,2000
- Normalization via Rewrite ClosuresPublished by Springer Nature ,1999
- Shostak's congruence closure as completionPublished by Springer Nature ,1997
- Proof Lengths for Equational CompletionInformation and Computation, 1996
- Equational inference, canonical proofs, and proof orderingsJournal of the ACM, 1994
- A Fast Algorithm for Generating Reduced Ground Rewriting Systems from a Set of Ground EquationsJournal of Symbolic Computation, 1993
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- An algorithm for reasoning about equalityCommunications of the ACM, 1978