Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases-Reference-Cited by-同舟云学术

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

Published:1993-07 Issue:3 Volume:40 Page:477-503
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Baader Franz¹

Affiliation:

1. German Research Center for Artificial Intelligence (DFKI), Saarbru¨cken, Germany

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference46 articles.

1. An extension of Buchberger's algorithm and calculationsin enveloping fields of lie algebras

2. ~BAADER F. The theory of idempotent semlgroups is of unification type zero. J. Automat. ~Reas. 2 (1986) 283-286. 10.1007/BF02328451 ~BAADER F. The theory of idempotent semlgroups is of unification type zero. J. Automat. ~Reas. 2 (1986) 283-286. 10.1007/BF02328451

3. Unification in varieties of idempotent semigroups;~BAADER F;Semigroup Forum,1987

4. Unification in commutative theories

5. ~BAADER F. Unification properties of commutative theories: A categorical treatment. In ~Proceedings oJ the Summer ConJerence on Category Theo~ and Computer Sczence (Manchester ~England). 1989 pp. 273-299. ~BAADER F. Unification properties of commutative theories: A categorical treatment. In ~Proceedings oJ the Summer ConJerence on Category Theo~ and Computer Sczence (Manchester ~England). 1989 pp. 273-299.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction;Lecture Notes in Computer Science;2019

2. Asymmetric Unification and Disunification;Lecture Notes in Computer Science;2019

3. 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

4. Decidability and Combination Results for Two Notions of Knowledge in Security Protocols;Journal of Automated Reasoning;2010-10-28

5. Symbolic protocol analysis for monoidal equational theories;Information and Computation;2008-02