A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems

Colm Ó Dúnlaing, Natalie Schluter. A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems. Theoretical Computer Science, 411(3):677-690, 2010. [doi]

Authors

Colm Ó Dúnlaing

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

Natalie Schluter

This author has not been identified. Look up 'Natalie Schluter' in Google