6 citations · 7 across the 12 of their papers we have counts for
1 paper · 1 filter
Charles Paperman
We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all languages with a neutral letter definable using the orde…