56 citations · 149 across the 22 of their papers we have counts for
1 paper · 2 filters
Thomas Colcombet, Sam van Gool, Rémi Morvan
We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Al…