Combination Techniques for Non-Disjoint Equational Theories (1994)

Cached

Download Links

by Eric Domenjoud , Francis Klay , Christophe Ringeissen
Venue:Proceedings 12th International Conference on Automated Deduction
Citations:24 - 4 self

Documents Related by Co-Citation

396 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
24 Deciding the Word Problem in the Union of Equational Theories – Franz Baader, Cesare Tinelli - 2001
28 Combining matching algorithms: The regular case – T Nipkow - 1991
21 A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method – Franz Baader, Cesare Tinelli - 1997
102 Unification in the union of disjoint equational theories: Combining decision procedures – F Baader, K Schulz - 1996
15 Unification in a combination of equational theories with shared constants and its application to Primal Algebras – Christophe Ringeissen - 1992
14 The join of equational theories – D Pigozzi - 1974
74 A New Correctness Proof of the Nelson-Oppen Combination Procedure – Cesare Tinelli, Mehdi Harandi - 1996
35 Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures – Cesare Tinelli, Christophe Ringeissen - 2001
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
37 Complexity, convexity and combinations of theories – Derek C Oppen - 1980
13 Combining satisfiability procedures by equality-sharing – Greg Nelson - 1984
27 Combination of constraint solvers for free and quasi-free structures – F Baader, K Schulz - 1998
16 Combination of Constraint Solving Techniques: An Algebraic Point of View – Franz Baader, Klaus U. Schulz
9 Combining word problems through rewriting in categories with products – C Fiorentini, S Ghilardi
28 Combining Symbolic Constraint Solvers on Algebraic Domains – Helene Kirchner, Christophe Ringeissen - 1994
22 Combination Techniques and Decision Problems for Disunification – Franz Baader, Klaus U. Schulz
5 Model Theory, volume 42 of Enclyclopedia of mathematics and its applications – Wilfrid Hodges - 1993
187 Fast decision procedures based on congruence closure – Greg Nelson, Derek, C. Oppen - 1980