9 citations · 9 across the 1 of their papers we have counts for
1 paper
Manfred Kufleitner, Pascal Weil
We consider the class of languages defined in the 2-variable fragment of the first-order logic of the linear order. Many interesting characterizations of this class are known, as w…