Pages that link to "Item:Q5096265"

The following pages link to Unification properties of commutative theories: A categorical treatment (Q5096265):

Displaying 2 items.

• Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
• Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification (Q5055754) (← links)