scientific article; zbMATH DE number 6829362
From MaRDI portal
Publication:4601873
DOI10.4230/LIPIcs.STACS.2016.21zbMath1388.03016arXiv1502.04578MaRDI QIDQ4601873
Szymon Toruńczyk, Paweł Parys, Mikołaj Bojańczyk
Publication date: 24 January 2018
Full work available at URL: https://arxiv.org/abs/1502.04578
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
Recognisable Languages over Monads ⋮ Unnamed Item ⋮ Delay Games with WMSO$$+$$U Winning Conditions ⋮ Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints ⋮ Recursion Schemes and the WMSO+U Logic ⋮ The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ Contribution of Warsaw logicians to computational logic ⋮ Unnamed Item ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts