Pages that link to "Item:Q5210778"
From MaRDI portal
The following pages link to Combination techniques for non-disjoint equational theories (Q5210778):
Displayed 7 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Unification algorithms cannot be combined in polynomial time (Q4647521) (← links)
- Combination of constraint solving techniques: An algebraic point of view (Q5055842) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)