Pages that link to "Item:Q5210778"
From MaRDI portal
The following pages link to Combination techniques for non-disjoint equational theories (Q5210778):
Displayed 3 items.
- 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)