Conelikes and ranker comparisons (Q6109018): Difference between revisions

@@ Property / cites work @@
+Q2770662
@@ Property / cites work: Q2770662 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointlike sets with respect to R and J.
@@ Property / cites work: Pointlike sets with respect to R and J. / rank @@
+Normal rank
@@ Property / cites work @@
+SC-hyperdecidability of \(\mathbf R\)
@@ Property / cites work: SC-hyperdecidability of \(\mathbf R\) / rank @@
+Normal rank
@@ Property / cites work @@
+The pseudovariety $J$ is hyperdecidable
@@ Property / cites work: The pseudovariety $J$ is hyperdecidable / rank @@
+Normal rank
@@ Property / cites work @@
+INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Block Products and Nesting Negations in FO2
@@ Property / cites work: Block Products and Nesting Negations in FO2 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointlike sets: the finest aperiodic cover of a finite semigroup
+Normal rank
@@ Property / cites work @@
+An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
+Normal rank
@@ Property / cites work @@
+The Join Levels of the Trotter-Weil Hierarchy Are Decidable
+Normal rank
@@ Property / cites work @@
+Q4649563
@@ Property / cites work: Q4649563 / rank @@
+Normal rank
@@ Property / cites work @@
+On logical hierarchies within FO^2-definable languages
+Normal rank
@@ Property / cites work @@
+Separating regular languages with first-order logic
+Normal rank
@@ Property / cites work @@
+Q4580330
@@ Property / cites work: Q4580330 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur le produit de concatenation non ambigu
@@ Property / cites work: Sur le produit de concatenation non ambigu / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737911
@@ Property / cites work: Q4737911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+On Pointlike Sets and Joins of Pseudovarieties
@@ Property / cites work: On Pointlike Sets and Joins of Pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542541
@@ Property / cites work: Q4542541 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
+Normal rank