The following pages link to Group-theoretic orbit decidability. (Q472161):
Displaying 4 items.
- Algorithmic recognition of infinite cyclic extensions (Q2396795) (← links)
- On generalized conjugacy and some related problems (Q6100317) (← links)
- Computable Scott sentences and the weak Whitehead problem for finitely presented groups (Q6539429) (← links)
- Quantifying orbit detection: \(\varphi\)-order and \(\varphi\)-spectrum (Q6639808) (← links)