Completion-based Algorithm

From GM-RKB
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.
Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Completion-based_Algorithm&oldid=683038"