Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts
- Barozzini, D.
- de Frutos-Escrig, D.
- Della Monica, D.
- Montanari, A.
- Sala, P.
Aldizkaria:
Theoretical Computer Science
ISSN: 0304-3975
Argitalpen urtea: 2020
Alea: 813
Orrialdeak: 270-304
Mota: Artikulua