It is undecidable whether a finite special string-rewriting system presents a group

Paliath Narendran, Colm Ó Dúnlaing, Friedrich Otto. It is undecidable whether a finite special string-rewriting system presents a group. Discrete Mathematics, 98(2):153-159, 1991. [doi]

Authors

Paliath Narendran

This author has not been identified. Look up 'Paliath Narendran' in Google

Colm Ó Dúnlaing

This author has not been identified. Look up 'Colm Ó Dúnlaing' in Google

Friedrich Otto

This author has not been identified. Look up 'Friedrich Otto' in Google