Pages that link to "Item:Q5096265"
From MaRDI portal
The following pages link to Unification properties of commutative theories: A categorical treatment (Q5096265):
Displaying 10 items.
- Unification in commutative theories (Q582071) (← links)
- Unification in commutative rings is not finitary (Q916417) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- (Q3805960) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)
- Characterizations of unification type zero (Q5055707) (← links)
- 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)
- The Univalence Axiom in posetal model categories (Q5262479) (← links)
- Unification in monoidal theories (Q6488564) (← links)