An Efficient Unification Algorithm
- 1 April 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (2), 258-282
- https://doi.org/10.1145/357162.357169
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Linear unificationJournal of Computer and System Sciences, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Complexity of the unification algorithm for first-order expressionsCalcolo, 1975
- A unification algorithm for typedTheoretical Computer Science, 1975
- Proving program properties, symbolic evaluation and logical procedural semanticsLecture Notes in Computer Science, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965