Quantifier Alternation for Infinite Words

Cite this paper

@inproceedings{Pierron2016QuantifierAF, title={Quantifier Alternation for Infinite Words}, author={Th{\'e}o Pierron and Thomas Place and Marc Zeitoun}, booktitle={FoSSaCS}, year={2016} }