Combination techniques and decision problems for disunification
From MaRDI portal
Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Recommendations
Cites work
- scientific article; zbMATH DE number 4089320 (Why is no real title available?)
- scientific article; zbMATH DE number 4089518 (Why is no real title available?)
- scientific article; zbMATH DE number 3566230 (Why is no real title available?)
- scientific article; zbMATH DE number 1348479 (Why is no real title available?)
- scientific article; zbMATH DE number 1346494 (Why is no real title available?)
- scientific article; zbMATH DE number 599028 (Why is no real title available?)
- scientific article; zbMATH DE number 7680806 (Why is no real title available?)
- A new method for undecidability proofs of first order theories
- All Varieties of Bands I
- Coding in the existential theory of concatenation
- Complexity of unification problems with associative-commutative operators
- On solving equations and disequations
- Simplification by Cooperating Decision Procedures
- Unification in a combination of arbitrary disjoint equational theories
Cited in
(20)- Nominal equational problems
- Combination techniques for non-disjoint equational theories
- scientific article; zbMATH DE number 2079035 (Why is no real title available?)
- Non-disjoint combined unification and closure by equational paramodulation
- \(E\)-unification with constants vs. general \(E\)-unification
- Combination of constraint solving techniques: An algebraic point of view
- scientific article; zbMATH DE number 1538017 (Why is no real title available?)
- Combination techniques and decision problems for disunification
- Canonization for disjoint unions of theories
- Equational problems and disunification
- Unions of non-disjoint theories and combinations of satisfiability procedures
- Canonization for disjoint unions of theories.
- Strategies for combining decision procedures
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- Disunification for ultimately periodic interpretations
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
- On solving nominal disunification constraints
- Variant-Based Satisfiability in Initial Algebras
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
- Combination of constraint solvers for free and quasi-free structures
This page was built for publication: Combination techniques and decision problems for disunification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673624)
