On the logic of unification
- 8 July 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (1-2), 141-199
- https://doi.org/10.1016/s0747-7171(89)80024-0
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- The calculus of constructionsInformation and Computation, 1988
- Linear logicTheoretical Computer Science, 1987
- On the sequential nature of unificationThe Journal of Logic Programming, 1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- The undecidability of the second-order unification problemTheoretical Computer Science, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- A unification algorithm for typed
- Resolution in type theoryThe Journal of Symbolic Logic, 1971
- Logical WritingsPublished by Springer Nature ,1971