Completion-based Algorithm

From GM-RKB
Revision as of 22:38, 16 June 2021 by Gmelli (talk | contribs) (Text replacement - ". ---- " to ". ---- ")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

See: Completion-based Method, Completion-based Approach, E-Unification, Term Rewriting.



References

1989

  • (Bachmair et al., 1989) ⇒ L. Bachmair, N. Dershowitz, and D. Plaisted. (1989). “Completion Without Failure.” In: H. A¨ıt-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, Volume 2, chapter 1. Academic Press.