1 paper
Colm O. Dunlaing, Natalie Schluter
In 2002 Jurdzinski and Lorys settled a long-standing conjecture that palindromes are not a Church-Rosser language. Their proof required a sophisticated theory about computation gra…