Pages that link to "Item:Q1092171"
From MaRDI portal
The following pages link to Unification in varieties of idempotent semigroups (Q1092171):
Displaying 8 items.
- Unification in commutative theories (Q582071) (← 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)
- Unification in commutative semigroups (Q1383954) (← links)
- The undecidability of the D<sub>A</sub>-unification problem (Q3478395) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
