Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

  1. Barozzini, D.
  2. de Frutos-Escrig, D.
  3. Della Monica, D.
  4. Montanari, A.
  5. Sala, P.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Año de publicación: 2020

Volumen: 813

Páginas: 270-304

Tipo: Artículo

DOI: 10.1016/J.TCS.2019.12.029 GOOGLE SCHOLAR
Fuente de los datos: Scopus