4 citations · 4 across the 1 of their papers we have counts for
1 paper
Manfred Kufleitner, Alexander Lauser
We consider the quantifier alternation hierarchy within two-variable first-order logic FO^2[<,suc] over finite words with linear order and binary successor predicate. We give a sin…