A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Associative-Commutative UnificationPublished by Springer Nature ,1984
- Completion of a set of rules modulo a set of equationsPublished by Association for Computing Machinery (ACM) ,1984
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Canonical Forms and Unification.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
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965