Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188): Difference between revisions

@@ Property / cites work @@
+The dot-depth hierarchy of star-free languages is infinite
+Normal rank
@@ Property / cites work @@
+A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
+Normal rank
@@ Property / cites work @@
+Fragments of first-order logic over infinite words
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113701
@@ Property / cites work: Q3113701 / rank @@
+Normal rank
@@ Property / cites work @@
+Level two of the quantifier alternation hierarchy over infinite words
+Normal rank
@@ Property / cites work @@
+One quantifier alternation in first-order logic with modular predicates
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier Alternation for Infinite Words
@@ Property / cites work: Quantifier Alternation for Infinite Words / rank @@
+Normal rank
@@ Property / cites work @@
+Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
+Normal rank
@@ Property / cites work @@
+Topologies Refining the Cantor Topology on X ω
@@ Property / cites work: Topologies Refining the Cantor Topology on X ω / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055589
@@ Property / cites work: Q4055589 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281563
@@ Property / cites work: Q4281563 / rank @@
+Normal rank