Combination techniques for non-disjoint equational theories-Reference-Cited by-同舟云学术

Combination techniques for non-disjoint equational theories

Published:1994 Issue: Volume: Page:267-281
ISSN:0302-9743
Container-title:Automated Deduction — CADE-12
language:
Short-container-title:

Author:

Domenjoud Eric,Klay Francis,Ringeissen Christophe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58156-1_19.pdf

Reference14 articles.

1. Franz Baader and Klaus Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings 11th International Conference on Automated Deduction, Saratoga Springs (N.Y., USA), pages 50–65, 1992.

2. Franz Baader and Klaus U. Schulz. Combination techniques and decision problems for disunification. In Claude Kirchner, editor. Rewriting Techniques and Applications, 5th International Conference, RTA-93, LNCS 690, pages 301–315, Montreal, Canada, June 16–18, 1993. Springer-Verlag.

3. A. Boudet. Unification dans les mélanges de théories équationelles. Thèse de Doctorat d'Université, Université de Paris-Sud, Orsay (France), February 1990.

4. D. Dougherty and P. Johann. An improved general E-unification method. In M. E. Stickel, editor, Proceedings 10th International Conference on Automated Deduction, Kaiserslautern (Germany), volume 449 of Lecture Notes in Computer Science, pages 261–275. Springer-Verlag, July 1990.

5. J. Gallier and W. Snyder. Complete sets of transformations for general E-unification. Theoretical Computer Science, 67(2–3):203–260, October 1989.

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

1. Non-disjoint Combined Unification and Closure by Equational Paramodulation;Frontiers of Combining Systems;2021

2. Building and Combining Matching Algorithms;Lecture Notes in Computer Science;2019

3. Notions of Knowledge in Combinations of Theories Sharing Constructors;Automated Deduction – CADE 26;2017

4. Hierarchical Combination;Automated Deduction – CADE-24;2013

5. Extension of First-Order Theories into Trees;Artificial Intelligence and Symbolic Computation;2006