5 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
Théo Pierron, Thomas Place, Marc Zeitoun
We investigate the expressive power of quantifier alternation hierarchy of first-order logic over words. This hierarchy includes the classes Σi (sentences having at most i blo…