scientific article
From MaRDI portal
Publication:2920114
DOI10.4230/LIPIcs.FSTTCS.2009.2308zbMath1248.68285MaRDI QIDQ2920114
Szymon Toruńczyk, Mikołaj Bojańczyk
Publication date: 24 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_19cb.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (6)
Asymptotic Monadic Second-Order Logic ⋮ Delay Games with WMSO+U Winning Conditions ⋮ Foundations of graph path query languages. Course notes for the reasoning web summer school 2021 ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts ⋮ Weak MSO with the unbounding quantifier ⋮ Unnamed Item
This page was built for publication:
