The following pages link to Unification in commutative theories (Q582071):
Displayed 5 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)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)