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

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	Theoretical Computer Science
Volume	411
Pages (from-to)	677-690
Number of pages	14
ISSN	0304-3975
Publication status	Published - 2010
Externally published	Yes

Cite this

@article{0ab1beac27b44049b5fcb8991ace4f0e,

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

author = "{{\'O} D{\'u}nlaing}, Colm and Natalie Schluter",

year = "2010",

language = "English",

volume = "411",

pages = "677--690",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}