The tale of the quantifier alternation hierarchy of first-order logic over words

Thomas Place, Marc Zeitoun. The tale of the quantifier alternation hierarchy of first-order logic over words. SIGLOG News, 2(3):4-17, 2015. [doi]

Abstract

Abstract is missing.