Pages that link to "Item:Q673624"
From MaRDI portal
The following pages link to Combination techniques and decision problems for disunification (Q673624):
Displaying 12 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← 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)
- 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 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)
