TY - RPRT TI - Acceptance conditions for omega-languages and the Borel hierarchy AU - Julien Cervelle AU - Alberto Dennunzio AU - Enrico Formenti AU - Julien Provillard PY - 2013 UR - https://arxiv.org/abs/1310.5032 ID - 1310.5032 ER -