Pages that link to "Item:Q673624"
From MaRDI portal
The following pages link to Combination techniques and decision problems for disunification (Q673624):
Displaying 18 items.
- \(E\)-unification with constants vs. general \(E\)-unification (Q438584) (← links)
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Equational problems and disunification (Q1124372) (← links)
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal equational problems (Q2233392) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Canonization for disjoint unions of theories (Q2486580) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872) (← links)
- (Q4518872) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← links)
- Combination of constraint solving techniques: An algebraic point of view (Q5055842) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)
- Automated Deduction – CADE-19 (Q5900719) (← links)
