Manfred Kufleitner, Pascal Weil. On FO2 Quantifier Alternation over Words. In Rastislav Královic, Damian Niwinski, editors, Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings. Volume 5734 of Lecture Notes in Computer Science, pages 513-524, Springer, 2009. [doi]
@inproceedings{KufleitnerW09,
title = {On FO2 Quantifier Alternation over Words},
author = {Manfred Kufleitner and Pascal Weil},
year = {2009},
doi = {10.1007/978-3-642-03816-7_44},
url = {http://dx.doi.org/10.1007/978-3-642-03816-7_44},
tags = {Pascal},
researchr = {https://researchr.org/publication/KufleitnerW09},
cites = {0},
citedby = {0},
pages = {513-524},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings},
editor = {Rastislav Královic and Damian Niwinski},
volume = {5734},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03815-0},
}