Canonical forms and unification
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 318-334
- https://doi.org/10.1007/3-540-10009-1_25
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Catalogue of Canonical Term Rewriting Systems.Published by Defense Technical Information Center (DTIC) ,1980
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Linear unificationJournal of Computer and System Sciences, 1978
- Conflunt reductions: Abstract properties and applications to term rewriting systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUPMathematics of the USSR-Sbornik, 1977
- A unification algorithm for typed
- A Complete Unification Algorithm for Associative-Commutative FunctionsPublished by Defense Technical Information Center (DTIC) ,1975
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.Published by Elsevier ,1970
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965