23 citations · 79 across the 26 of their papers we have counts for
1 paper · 2 filters
Manfred Kufleitner, Pascal Weil
We show that each level of the quantifier alternation hierarchy within FO^2[<] -- the 2-variable fragment of the first order logic of order on words -- is a variety of languages. W…