Pages that link to "Item:Q5055754"
From MaRDI portal
The following pages link to Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification (Q5055754):
Displaying 7 items.
- Unification in commutative theories (Q582071) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification (Q5055754) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Unification in varieties of completely regular semigroups (Q6114512) (← links)
- Unification in monoidal theories (Q6488564) (← links)