Pages that link to "Item:Q1092171"
From MaRDI portal
The following pages link to Unification in varieties of idempotent semigroups (Q1092171):
Displaying 18 items.
- Unification under associativity and idempotence is of type nullary (Q580999) (← links)
- The theory of idempotent semigroups is of unification type zero (Q581000) (← links)
- Unification in commutative theories (Q582071) (← links)
- Commutative idempotent semigroups at the service of universal algebraic geometry. (Q655618) (← links)
- Hilbert's tenth problem is of unification type zero (Q688556) (← links)
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- A note on unification type zero (Q1098285) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- Unary hyperidentities for varieties of inverse semigroups (Q1279671) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- A note on decomposition of idempotent uninorms into an ordinal sum of singleton semigroups (Q1677957) (← links)
- Unification types of completely regular semigroups (Q1869618) (← links)
- The undecidability of the D<sub>A</sub>-unification problem (Q3478395) (← links)
- (Q3842061) (← links)
- Characterizations of unification type zero (Q5055707) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Unification in varieties of completely regular semigroups (Q6114512) (← links)
- Unification theory (Q6169561) (← links)