Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Algebra and Number Theory
Reference36 articles.
1. Baader, F.: Unification in Commutative Theories. J. Symb. Computation8, 479?497 (1989)
2. Lecture Notes in Computer Science, Vol. 389;F. Baader,1989
3. Baader, F.: Unification in Commutative Theories, Hubert's Basis Theorem, and Gröbner Bases. J. ACM40, 477?503 (1993)
4. Lecture Notes in Computer Science, Vol 488;F. Baader,1991
5. Lecture Notes in Computer Science, Vol. 607;F. Baader,1992
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献