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

Fingeraftryk

Dyk ned i forskningsemnerne om 'A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost confluent and preperfect Thue systems'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science

Arts and Humanities

Material Science

Mathematics