Ciencias Matemáticas
Fakultatea
University of Verona
Verona, ItaliaUniversity of Verona-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2020
-
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts
Theoretical Computer Science, Vol. 813, pp. 270-304