TY - RPRT TI - Quantifier Alternation for Infinite Words AU - Théo Pierron AU - Thomas Place AU - Marc Zeitoun PY - 2015 UR - https://arxiv.org/abs/1511.09011 ID - 1511.09011 ER -