50 citations · 111 across the 24 of their papers we have counts for
1 paper · 1 filter
Thomas Place, Luc Segoufin
Several years ago Thérien and Wilke exhibited a decidable characterization of the languages of words that are definable in FO2(<,+1). Their proof relies on three separate ingredien…