How unprovable is Rabin's decidability theorem? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leszek Aleksander Kolodziejczyk, Henryk Michalewski. How unprovable is Rabin's decidability theorem?. In Martin Grohe, Eric Koskinen, Natarajan Shankar, editors, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. pages 788-797, ACM, 2016. [doi]

This author has not been identified. Look up 'Leszek Aleksander Kolodziejczyk' in GoogleThis author has not been identified. Look up 'Henryk Michalewski' in Google

runs on WebDSL