Complexity of the unification algorithm for first-order expressions
- 1 December 1975
- journal article
- Published by Springer Science and Business Media LLC in Calcolo
- Vol. 12 (4), 361-371
- https://doi.org/10.1007/bf02575754
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965