A Characterisation of Pi^0_2 Regular Tree Languages

Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak. A Characterisation of Pi^0_2 Regular Tree Languages. In Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin, editors, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark. Volume 83 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.