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 tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind411
Sider (fra-til)677-690
Antal sider14
ISSN0304-3975
StatusUdgivet - 2010
Udgivet eksterntJa

Citationsformater