Author:
Kapur Deepak,Narendran Paliath
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference35 articles.
1. Arnborg, S. and Tiden, E., ?Unification problems with one-sided distributivity?, in: Proc. First international conference on Rewriting Techniques and Applications (RTA-85), Dijon, France, May 1985, LNCS 202, Springer Verlag, pp. 398?406. A revised version appeared in J. Symbolic Computation 3 (1987).
2. Baader, F., ?Unification in varieties of idempotent semigroups,? Semigroup Forum 36, 132 (1987).
3. Benanav, D., Kapur, D. and Narendran, P., ?Complexity of matching problems?, in : Proc. First international conference on Rewriting Techniques and Applications (RTA-85), Dijon, France, May 1985, LNCS 202, Springer Verlag. A revised version appeared in J. Symbolic Computation 3, 203?216 (1987).
4. Bürchert, H.-J., Herold, A., Kapur, D., Siekmann, J. H., Stickel, M., Tepp, M. and Zhang, H., ?Opening the AC-unification race,? J. Automated Reasoning 4, 465?474 (1988).
5. Chandra, A. and Kanellakis, P., Personal communication (1985).
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献