Rigid E-Unification Revisited
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 220-234
- https://doi.org/10.1007/10721959_17
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Abstract Congruence Closure and SpecializationsPublished by Springer Nature ,2000
- Congruence Closure Modulo Associativity and CommutativityPublished by Springer Nature ,2000
- Normalization via Rewrite ClosuresPublished by Springer Nature ,1999
- Term Rewriting and All ThatPublished by Cambridge University Press (CUP) ,1998
- What You Always Wanted to Know about Rigid E-UnificationJournal of Automated Reasoning, 1998
- The undecidability of simultaneous rigid E-unificationTheoretical Computer Science, 1996
- A completion-based method for mixed universal and rigid E-unificationPublished by Springer Nature ,1994
- Rigid unification by completion and rigid paramodulationPublished by Springer Nature ,1994
- Theorem proving using equational matings and rigid E -unificationJournal of the ACM, 1992
- Rigid E-unification: NP-completeness and applications to equational matingsInformation and Computation, 1990