Author:
Limet Sébastien,Saubion Frédéric
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. A. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proceedings 21st ACM Symposium on Principle of Programming Languages, Portland, pages 268–279, 1994.
2. F. Baader and J. Siekmann. Unification Theory. In D.M. Gabbay, C.J. Hogger, and Robinson J.A., editors, Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, Oxford, UK, 1993.
3. A. Bockmayr, S. Krischer, and A. Werner. Narrowing strategies for arbitrary canonical systems. Fundamenta Informaticae, 24(1,2):125–155, 1995.
4. H. Comon. On unification of terms with integer exponents. Math. Systems Theory, 28:67–88, 1995.
5. H. Comon, M. Dauchet, R. Gilleron, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata Techniques and Applications. 1997.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献