1 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
Thomas Place, Marc Zeitoun
We investigate the quantifier alternation hierarchy in first-order logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in…