The following pages link to (Q3785922):
Displaying 15 items.
- Unification in Boolean rings and Abelian groups (Q582073) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Associative-commutative unification (Q1099648) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- Combining matching algorithms: The regular case (Q1186723) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← 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)
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Q5410678) (← links)
- Unification theory (Q6169561) (← links)
- Unification in a combination of equational theories: an efficient algorithm (Q6488538) (← links)