Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Bosco, P.G., Giovannetti, E., and Moiso, C. (1987): Refined Strategies for Semantic Unification, Proc. TAPSOFT '87 (LNCS 250), 276–290.
2. Hullot, J.M. (1980): Canonical Forms and Unification, Proc. 5th Conference on Automated Deduction (LNCS 87), 318–334.
3. Lloyd, J.W. (1984): Foundations of Logic Programming, Springer-Verlag.
4. Martelli, A. and Montanari, U. (1982): An Efficient Unification Algorithm, ACM TOPLAS, 4(2), 258–282.
5. Yamamoto, A. (1987): A Theoretical Combination of SLD-Resolution and Narrowing, Proc. 4th ICLP, 470–487.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Complete Strategies for Term Graph Narrowing;Recent Trends in Algebraic Development Techniques;1999
2. Normalizing narrowing for weakly terminating and confluent systems;Principles and Practice of Constraint Programming — CP '95;1995
3. Completeness results for basic narrowing;Applicable Algebra in Engineering, Communication and Computing;1994-05
4. Counterexamples to completeness results for basic narrowing (extended abstract);Algebraic and Logic Programming