Journal ArticleOPEN ACCESS

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

  • Place T
  • Zeitoun M
ACM SIGLOG News (2015) 2(3) 4-17
DOI: 10.1145/2815493.2815495
N/ACitations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free