A new approach to universal unfication and its application to AC-unification
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 643-657
- https://doi.org/10.1007/bfb0012863
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Unification in combinations of collapse-free regular theoriesJournal of Symbolic Computation, 1987
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Universal Unification and a Class of Equational TheoriesPublished by Springer Nature ,1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- A Course in Universal AlgebraPublished by Springer Nature ,1981
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980