Pages that link to "Item:Q5055707"
From MaRDI portal
The following pages link to Characterizations of unification type zero (Q5055707):
Displaying 7 items.
- Unification in Boolean rings and Abelian groups (Q582073) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- A note on unification type zero (Q1098285) (← links)
- Character expansions and unrefined minimal K -types (Q4456263) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Unification in varieties of completely regular semigroups (Q6114512) (← links)