1 citations · 1 across the 2 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,…