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

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	411
Sider (fra-til)	677-690
Antal sider	14
ISSN	0304-3975
Status	Udgivet - 2010
Udgivet eksternt	Ja

Citationsformater

@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",

}