A gap property of deterministic tree languages. (Q1401364): Difference between revisions

@@ Property / author @@
-Damian Niwinski
@@ Property / author: Damian Niwinski / rank @@
-Normal rank
@@ Property / author @@
+Damian Niwinski
@@ Property / author: Damian Niwinski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees
+Normal rank
@@ Property / cites work @@
+Q4273664
@@ Property / cites work: Q4273664 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Computing the Rabin Index of a Parity Automaton
@@ Property / cites work: Computing the Rabin Index of a Parity Automaton / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818826
@@ Property / cites work: Q4818826 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Hierarchies of weak automata and weak monadic formulas
+Normal rank
@@ Property / cites work @@
+Q4726235
@@ Property / cites work: Q4726235 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / 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 @@
+Q4251069
@@ Property / cites work: Q4251069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Borel hierarchy is infinite in the class of regular sets of trees
+Normal rank
@@ Property / cites work @@
+Q3967525
@@ Property / cites work: Q3967525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754186
@@ Property / cites work: Q2754186 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4158997
@@ Property / cites work: Q4158997 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the rabin index of a regular language of infinite words
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1401364