research
∙
07/15/2020
Descriptive Set Theory and ω-Powers of Finitary Languages
The ω-power of a finitary language L over a finite alphabet Σ is the lan...
research
∙
06/15/2020
Some complete ω-powers of a one-counter language, for any Borel class of finite rank
We prove that, for any natural number n ≥ 1, we can find a finite alphab...
research
∙
09/10/2018
An Effective Property of ω-Rational Functions
We prove that ω-regular languages accepted by Büchi or Muller automata s...
research
∙
12/20/2017
Wadge Degrees of ω-Languages of Petri Nets
We prove that ω-languages of (non-deterministic) Petri nets and ω-langua...
research
∙
10/11/2017