A parameterized halting problem, the linear time hierarchy, and the MRDP theorem.

Yijia Chen, Moritz Mller, Keita Yokoyama

Browse the full LICS paper archive.