Average-case analysis of Robinson's unification algorithm with two different variables
- 12 June 1989
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 31 (5) , 227-232
- https://doi.org/10.1016/0020-0190(89)90078-1
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965