The following pages link to AUTOMATA (Q41851):
Displaying 8 items.
- On Coxeter's families of group presentations. (Q606655) (← links)
- FA-presentable groups and rings (Q947484) (← links)
- Polynomial-time proofs that groups are hyperbolic (Q2229726) (← links)
- String rewriting for double coset systems. (Q2457349) (← links)
- Computing subgroup presentations, using the coherence arguments of McCammond and Wise. (Q2496857) (← links)
- (Q4217341) (← links)
- (Q4270321) (← links)
- An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite (Q4891316) (← links)