Author:
Paterson M.S.,Wegman M.N.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference6 articles.
1. Computational logic: the unification computation;Robinson;Machine Intelligence,1971
2. G. Huet and G. Kahn, private communication, April 1974.
3. J. A. Robinson, private communication, October 1975.
4. Efficiency of a good but not linear set union algorithm;Tarjan;J. Assoc. Comput. Mach.,1975
5. The Design and Analysis of Computer Algorithms;Axo,1974
Cited by
268 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unification of drags and confluence of drag rewriting;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Faster Linear Unification Algorithm;Journal of Automated Reasoning;2022-08-12
3. Distinct Fringe Subtrees in Random Trees;Algorithmica;2022-08-01
4. Rewriting the infinite chase;Proceedings of the VLDB Endowment;2022-07
5. A Low-Level Index for Distributed Logic Programming;Electronic Proceedings in Theoretical Computer Science;2020-09-19