Author:
Kepser Stephan,Richts Jörn
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Franz Baader and Klaus U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. JSC, 21:211–243, 1996.
2. Franz Baader and Klaus U. Schulz. Combination of constraint solvers for free and quasi-free structures. Theoretical Computer Science, 192:107–161, 1998.
3. Alexandre Boudet. Combining unification algorithms. JSC, 16(6):597–626, 1993.
4. Hans-Jurgen Burckert. A resolution principle for clauses with constraints. In Mark E. Stickel, editor, CADE-10, pp. 178–192, LNAI 449, Springer, 1990.
5. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg H. Siekmann. Keim: A toolkit for automated deduction. In Alan Bundy, editor, CADE-12, pp. 807–810, LNAI 814, Springer, 1994.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combining Constraint Solving;Constraints in Computational Logics;2001