23 citations · 79 across the 26 of their papers we have counts for
1 paper · 1 filter
Manfred Kufleitner, Pascal Weil
We consider the two-variable fragment FO^2[<] of first-order logic over finite words. Numerous characterizations of this class are known. Thérien and Wilke have shown that it is de…