ON RECOGNIZABLE LANGUAGES OF INFINITE PICTURES (Q4652792): Difference between revisions

@@ Property / author @@
-Olivier Finkel
@@ Property / author: Olivier Finkel / rank @@
-Normal rank
@@ Property / author @@
+Olivier Finkel
@@ Property / author: Olivier Finkel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+Normal rank
@@ Property / cites work @@
+Locally finite languages
@@ Property / cites work: Locally finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the Topological Complexity of Infinitary Rational Relations
+Normal rank
@@ Property / cites work @@
+Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
+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 @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4652792