13 citations · 20 across the 4 of their papers we have counts for
1 paper · 1 filter
Thomas Place, Marc Zeitoun
We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in…