most citedTighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

16 citations · 17 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2014★ 1 cited

Another proof of undecidability for the correspondence decision problem - Had I been Emil Post

Vesa Halava

In 1946 Emil Leon Post (Bulletin of Amer. Math. Soc. 52 (1946), 264 - 268) defined a famous correspondence decision problem which is nowadays called the Post Correspondence Problem…