A parameterized halting problem, the linear time hierarchy, and the MRDP theorem | Publicación