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 JournalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost confluent and preperfect Thue systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Arts and Humanities

Material Science

Mathematics