scientific article
From MaRDI portal
Publication:2904801
DOI10.4230/LIPIcs.STACS.2012.648zbMath1245.68119MaRDI QIDQ2904801
Szymon Toruńczyk, Mikołaj Bojańczyk
Publication date: 23 August 2012
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) Decidability of theories and sets of sentences (03B25)
Related Items (11)
Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints ⋮ Asymptotic Monadic Second-Order Logic ⋮ Satisfiability of ECTL* with Tree Constraints ⋮ Delay Games with WMSO$$+$$U Winning Conditions ⋮ Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints ⋮ Recursion Schemes and the WMSO+U Logic ⋮ Parameterized linear temporal logics meet costs: still not costlier than LTL ⋮ The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ Delay Games with WMSO+U Winning Conditions ⋮ Contribution of Warsaw logicians to computational logic ⋮ Unnamed Item
This page was built for publication:
