The following pages link to (Q3816046):
Displaying 5 items.
- Decidability of the elementary theory of a finitely defined quasigroup (Q920205) (← links)
- A reduction of the decidability problem of the theory of a free group (Q1086673) (← links)
- Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two (Q1582961) (← links)
- DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP (Q3699893) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)