Unification, weak unification, upper bound, lower bound, and generalization problems-Reference-Cited by-同舟云学术

Unification, weak unification, upper bound, lower bound, and generalization problems

Published:1991 Issue: Volume: Page:86-97
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Baader Franz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-53904-2_88.pdf

Reference19 articles.

1. Baader, F. (1989). Unification in Commutative Theories. J. Symbolic Computation 8.

2. Baader, F. (1989a). Unification Properties of Commutative Theories: A Categorical Treatment. Proceedings of the Summer Conference on Category Theory and Computer Science, LNCS 389.

3. Baader, F. (1989b). Characterizations of Unification Type Zero. Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, LNCS 355.

4. Baader, F. (1990). Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. SEKI Report SR-90-02, Universität Kaiserslautern.

5. Baader, F. (1990a). Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases. SEKI Report SR-90-01, Universität Kaiserslautern.

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

1. Equational Anti-unification over Absorption Theories;Lecture Notes in Computer Science;2024

2. Idempotent Anti-unification;ACM Transactions on Computational Logic;2020-04-30

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

4. Anti-unification for Unranked Terms and Hedges;Journal of Automated Reasoning;2013-04-19

5. Constraint Solving on Terms;Constraints in Computational Logics;2001