\(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) (Q2011666): Difference between revisions

@@ Property / OpenAlex ID @@
+W2612335032
@@ Property / OpenAlex ID: W2612335032 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03239
@@ Property / arXiv ID: 1703.03239 / rank @@
+Normal rank
@@ Property / cites work @@
+The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees
+Normal rank
@@ Property / cites work @@
+Q2958524
@@ Property / cites work: Q2958524 / rank @@
+Normal rank
@@ Property / cites work @@
+The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
+Normal rank
@@ Property / cites work @@
+Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Q4415259
@@ Property / cites work: Q4415259 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction
+Normal rank
@@ Property / cites work @@
+Q4818826
@@ Property / cites work: Q4818826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472245
@@ Property / cites work: Q4472245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381391
@@ Property / cites work: Q4381391 / rank @@
+Normal rank
@@ Property / cites work @@
+A gap property of deterministic tree languages.
@@ Property / cites work: A gap property of deterministic tree languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251069
@@ Property / cites work: Q4251069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the topological complexity of Büchi languages *
+Normal rank
@@ Property / cites work @@
+Q2754186
@@ Property / cites work: Q2754186 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank