12 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Volker Diekert, Manfred Kufleitner
We give topological and algebraic characterizations as well as language theoretic descriptions of the following subclasses of first-order logic FO[<] for omega-languages: Sigma_2,…