Pages that link to "Item:Q3495674"
From MaRDI portal
The following pages link to Unification in primal algebras, their powers and their varieties (Q3495674):
Displayed 7 items.
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- An assertion concerning functionally complete algebras and NP-completeness (Q955041) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Category equivalence preserves unification type (Q1272240) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Computers and universal algebra: Some directions (Q1902542) (← links)
- The unification type of the Pythagorean equation in varieties of nilpotent rings (Q2457315) (← links)