Author:
Kapur Deepak,Narendran Paliath,Wang Lida
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. LNAI;F. Baader,1992
2. Baader, F.: Unification in Commutative Theories, Hilbert’s Basis Theorem, and Gröbner Bases. J. ACM 40(3), 477–503 (1993)
3. Lecture Notes in Computer Science;F. Baader,1991
4. Baader, F., Snyder, W.: Unification Theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning. Elsevier Science Publishers, Amsterdam (2001)
5. Buchberger, B.: Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, Reichel, Dordrecht, pp. 184–229 (1985)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Theories of Homomorphic Encryption, Unification, and the Finite Variant Property;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014
2. Unification modulo a partial theory of exponentiation;Electronic Proceedings in Theoretical Computer Science;2010-12-21