The following pages link to (Q3811748):
Displaying 9 items.
- Unification in Boolean rings and Abelian groups (Q582073) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Matching - a special case of unification? (Q582272) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- A geometrical approach to multiset orderings (Q1119955) (← links)
- Competing for the \(AC\)-unification race (Q1319390) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
