14 citations · 25 across the 11 of their papers we have counts for
1 paper · 1 filter
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…