Combination techniques and decision problems for disunification-Reference-Cited by-同舟云学术

Combination techniques and decision problems for disunification

Published:1993 Issue: Volume: Page:301-315
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Baader Franz,Schulz Klaus U.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56868-9_23.pdf

Reference19 articles.

1. F. Baader, K.U. Schulz, “Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures,” DFKI-Research Report RR-91-33; also in Proceedings of the 11th International Conference on Automated Deduction, LNCS 607, 1992.

2. F. Baader, K.U. Schulz, “General A-and AX-Unification via Optimized Combination Procedures,” CIS-Report 92-58, CIS, University Munich; also to appear in the Proceedings of the Second Workshop on Word Equations and Related Topics IWWERT '91, Rouen 1991, LNCS.

3. F. Baader, K.U. Schulz, “Combination Techniques and Decision Problems for Disunification,” DFKI-Research Report RR-93-05, 1993.

4. J.R. Büchi, S. Senger, “Coding in the Existential Theory of Concatenation,” Arch. math. Logik 26, 1986.

5. H.J. Bürckert, “Solving Disequations in Equational Theories,” Proceedings of the 9th International Conference on Automated Deduction, Argonne, LNCS 310, 1988.

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

1. On the combination of symbolic constraints, solution domains, and constraint solvers;Principles and Practice of Constraint Programming — CP '95;1995

2. Some extensions of rewriting;Term Rewriting;1995

3. Combination of constraint solving techniques: An algebraic point of view;Rewriting Techniques and Applications;1995

4. Combination techniques and decision problems for disunification;Rewriting Techniques and Applications;1993

5. Combination techniques and decision problems for disunification;Rewriting Techniques and Applications;1993