Beyond \omega-Regular Languages

DOI10.4230/LIPICS.STACS.2010.2440MaRDI QIDQ3113731zbMATH OpenOpenAlexFDO

Authors Mikołaj Bojańczyk

Publication date 23 January 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_14ee.html

zbMATH Keywords

automatamonadic second-order logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45)

Cited in

(11)

• A classification of \(\omega\)-regular languages
• Fine hierarchy of regular \(\omega\)-languages
• Completeness results for omega-regular algebras
• On memoryless quantitative objectives
• scientific article; zbMATH DE number 7447748 (Why is no real title available?)
• scientific article; zbMATH DE number 5074397 (Why is no real title available?)
• Liveness of parameterized timed networks
• scientific article; zbMATH DE number 3918353 (Why is no real title available?)
• scientific article; zbMATH DE number 4088952 (Why is no real title available?)
• Families of DFAs as Acceptors of omega-Regular Languages
• Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems

This page was built for publication: Beyond $\omega$-Regular Languages

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