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