scispace - formally typeset
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

TL;DR: It is proved that one can decide whether Rω is finitely generated, that is, whether R ω = Fω for some finite set F.