Cancellativity is undecidable for automatic semigroups

Alan J. Cain

School of Mathematics and Statistics

Research output: Contribution to journal › Article › peer-review

1 results

Finished
EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications
Linton, S. A. (PI), Gent, I. P. (CoI), Leonhardt, U. (CoI), Mackenzie, A. (CoI), Miguel, I. J. (CoI), Quick, M. (CoI) & Ruskuc, N. (CoI)
EPSRC
1/09/05 → 31/08/10
Project: Standard