The following pages link to (Q3342743):
Displaying 10 items.
- On the Novikov and Boone-Borisov groups (Q1074715) (← links)
- Investigations on algorithmic questions of algebra (Q1081695) (← links)
- 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)
- Search and witness problems in group theory (Q3085996) (← links)
- (Q3728885) (← links)
- (Q3750157) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- On some algorithmic problems for groups and monoids (Q5055802) (← links)