The following pages link to (Q3342743):
Displaying 4 items.
- Algorithmic problems in varieties of semigroups (Q1824703) (← links)
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup (Q1921846) (← links)
- The word problem for one-relation monoids: a survey (Q1982573) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
