The following pages link to (Q5089240):
Displaying 7 items.
- Compression techniques in group theory (Q2117795) (← links)
- On the expressiveness of Büchi arithmetic (Q2233416) (← links)
- (Q4973221) (← 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)
- The power word problem in graph products (Q6580077) (← links)
- Exponent equations in HNN-extensions (Q6601462) (← links)