A parameterized halting problem, the linear time hierarchy, and the MRDP theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yijia Chen, Moritz Müller, Keita Yokoyama. A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 235-244, ACM, 2018. [doi]

This author has not been identified. Look up 'Yijia Chen' in GoogleThis author has not been identified. Look up 'Moritz Müller' in GoogleThis author has not been identified. Look up 'Keita Yokoyama' in Google

runs on WebDSL