Canonical forms and unification
Author:
- Jean-Marie HullotJHJean-Marie Hullot
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 318-334
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Catalogue of Canonical Term Rewriting Systems.1980
- Equations and Rewrite Rules: A Survey1980
- Linear unificationJournal of Computer and System Sciences, 1978
- Conflunt reductions: Abstract properties and applications to term rewriting systems1977
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUPMathematics of the USSR-Sbornik, 1977
- A unification algorithm for typed λ-calculusTheoretical Computer Science, 1975
- A Complete Unification Algorithm for Associative-Commutative Functions1975
- 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.1970
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965