Topological complexity of locally finite \(\omega\)-languages (Q944222): Difference between revisions

@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856121
@@ Property / cites work: Q4856121 / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+Normal rank
@@ Property / cites work @@
+\(X\)-automata on \(\omega\)-words
@@ Property / cites work: \(X\)-automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Stretchings
@@ Property / cites work: Stretchings / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite languages
@@ Property / cites work: Locally finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+Topological properties of omega context-free languages
+Normal rank
@@ Property / cites work @@
+Closure properties of locally finite \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+On decidability properties of local sentences
@@ Property / cites work: On decidability properties of local sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>1</sup> Borel sets
@@ Property / cites work: Π<sub>1</sub><sup>1</sup> Borel sets / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach of Petri net languages
@@ Property / cites work: A logical approach of Petri net languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+Formal languages defined by the underlying structure of their words
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Consistency, Revelations in Auctions and the Structure of Preferences
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4695499
@@ Property / cites work: Q4695499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank