Boundedness in languages of infinite words

DOI10.23638/LMCS-13(4:3)2017MaRDI QIDQ4596779zbMATH OpenFDO

Authors Mikołaj Bojańczyk, Thomas Colcombet

Publication date 11 December 2017

Full work available at URL https://arxiv.org/abs/1708.09765

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Weak MSO with the unbounding quantifier
• Weak MSO with the unbounding quantifier
• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
• On expressive power of regular expressions over infinite orders
• Quantifier alternation for infinite words

Cited in

(9)

• An interval temporal logic characterization of extended \(\omega\)-regular languages
• scientific article; zbMATH DE number 7168148 (Why is no real title available?)
• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
• Universality of R-automata with Value Copying
• Completeness results for omega-regular algebras
• Points d'orbite dense de certains langages de mots infinis
• Weak MSO with the unbounding quantifier
• Strategical languages of infinite words
• Languages obtained from infinite words

This page was built for publication: Boundedness in languages of infinite words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596779)