Solving word problems via generalisations of small cancellation

Linton, Stephen Alexander (PI)

School of Computer Science

Project: Standard

1 Article

1 results

2021
Polynomial-time proofs that groups are hyperbolic
Holt, D., Linton, S., Neunhoeffer, M., Parker, R., Pfeiffer, M. & Roney-Dougal, C. M., May 2021, In: Journal of Symbolic Computation. 104, p. 419-475
Research output: Contribution to journal › Article › peer-review

Open Access
File