The following pages link to (Q5089240):
Displaying 4 items.
- Compression techniques in group theory (Q2117795) (← links)
- On the expressiveness of Büchi arithmetic (Q2233416) (← links)
- Decidability problem for exponential equations in finitely presented groups (Q6052785) (← links)
- Knapsack and the power word problem in solvable Baumslag–Solitar groups (Q6159137) (← links)
