E
E Timmerman
Researcher at University of Paris-Sud
Publications - 1
Citations - 12
E Timmerman is an academic researcher from University of Paris-Sud. The author has contributed to research in topics: Formal language & Finite set. The author has an hindex of 1, co-authored 1 publications receiving 12 citations.
Papers
More filters
Journal ArticleDOI
Finitely generated Ω-languages
M Latteux,E Timmerman +1 more
TL;DR: It is proved that one can decide whether Rω is finitely generated, that is, whether R ω = Fω for some finite set F.