A practically efficient and almost linear unification algorithm
- 30 September 1988
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 36 (2) , 249-263
- https://doi.org/10.1016/0004-3702(88)90005-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Rete: A fast algorithm for the many pattern/many object pattern match problemArtificial Intelligence, 1982
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Linear unificationJournal of Computer and System Sciences, 1978
- A unification algorithm for typed
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965