Aperiodicity in Tree Automata (Q3522867): Difference between revisions

@@ Property / cites work @@
+On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
+Normal rank
@@ Property / cites work @@
+Q4382097
@@ Property / cites work: Q4382097 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-automaton aperiodicity is PSPACE-complete
@@ Property / cites work: Finite-automaton aperiodicity is PSPACE-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884887
@@ Property / cites work: Q4884887 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing CTL-like logics on finite trees.
@@ Property / cites work: Characterizing CTL-like logics on finite trees. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832056
@@ Property / cites work: Q3832056 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order properties of trees, star-free expressions, and aperiodicity
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Modulo-counting quantifiers over finite trees
@@ Property / cites work: Modulo-counting quantifiers over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273660
@@ Property / cites work: Q4273660 / rank @@
+Normal rank
@@ Property / cites work @@
+General varieties of tree languages
@@ Property / cites work: General varieties of tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221429
@@ Property / cites work: Q3221429 / rank @@
+Normal rank