The following pages link to Unification in commutative theories (Q582071):
Displayed 6 items.
- Unification problem in equational theories (Q1280985) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)