Beyond $\omega$-Regular Languages

DOI10.4230/LIPICS.STACS.2010.2440zbMath1230.68124OpenAlexW1594842313MaRDI QIDQ3113731

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

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

Related Items (2)

Liveness of Parameterized Timed Networks ⋮ On Memoryless Quantitative Objectives

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