In this survey, we present ideas developed until recently in order to understand the expressive power of logical fragments in the quantifier alternation hierarchy of first-order logic interpreted on finite words.
CITATION STYLE
Place, T., & Zeitoun, M. (2015). The tale of the quantifier alternation hierarchy of first-order logic over words. ACM SIGLOG News, 2(3), 4–17. https://doi.org/10.1145/2815493.2815495
Mendeley helps you to discover research relevant for your work.