The following pages link to (Q3786019):
Displayed 16 items.
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Matching - a special case of unification? (Q582272) (← links)
- Associative-commutative unification (Q1099648) (← links)
- Unification in Boolean rings (Q1112626) (← links)
- Combining matching algorithms: The regular case (Q1186723) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Unification algorithms cannot be combined in polynomial time (Q4647521) (← links)
- Combining matching algorithms: The regular case (Q5055731) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- A new approach to general E-unification based on conditional rewriting systems (Q5881211) (← links)
- Second-order unification in the presence of linear shallow algebraic equations (Q5881305) (← links)
- Unification theory (Q6169561) (← links)