TY  - JOUR
AU  - Barozzini, David
AU  - Frutos Escrig, David De
AU  - Della Monica, Dario
AU  - Montanari, Angelo
AU  - Sala, Pietro
PY  - 2020
DO  - 10.1016/j.tcs.2019.12.029
SN  - 03043975
UR  - https://hdl.handle.net/20.500.14352/7725
T2  - Theoretical Computer Science
AB  - In the last years, some extensions of ω-regular languages, namely, ωB-regular (ω-regular languages extended with boundedness), ωS-regular (ω-regular languages extended with strong unboundedness), and ωBS-regular languages (the combination of ωB- and...
LA  - eng
M2  - 270
PB  - Elsevier
KW  - ω-regular languages
KW  - ω-regular expressions
KW  - Counter automata
KW  - Monadic second-order logic of one successor
TI  - Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts
TY  - journal article
VL  - 813
ER  -