A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2087899139
@@ Property / OpenAlex ID: W2087899139 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q29395150
@@ Property / Wikidata QID: Q29395150 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Sequences
@@ Property / cites work: Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated GSMs and CO-CFL
@@ Property / cites work: Iterated GSMs and CO-CFL / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants of Automatic Presentations and Semi-synchronous Transductions
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The Monadic Theory of Tree-like Structures
@@ Property / cites work: The Monadic Theory of Tree-like Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
+Normal rank
@@ Property / cites work @@
+Q4736874
@@ Property / cites work: Q4736874 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+Bertrand numeration systems and recognizability
@@ Property / cites work: Bertrand numeration systems and recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and \(p\)-recognizable sets of integers
@@ Property / cites work: Logic and \(p\)-recognizable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Sensitive Languages, Rational Graphs and Determinism
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+The monadic theory of morphic infinite words and generalizations
+Normal rank
@@ Property / cites work @@
+Q4818835
@@ Property / cites work: Q4818835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708567
@@ Property / cites work: Q4708567 / rank @@
+Normal rank
@@ Property / cites work @@
+A Combinatorial Theorem for Trees
@@ Property / cites work: A Combinatorial Theorem for Trees / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. IX: Machines and their behaviours
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic, graph coverings and unfoldings of transition systems
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Iterated pushdown automata and sequences of rational numbers
+Normal rank
@@ Property / cites work @@
+Synchronized rational relations of finite and infinite words
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability questions related to abstract numeration systems
+Normal rank
@@ Property / cites work @@
+Q4850551
@@ Property / cites work: Q4850551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449538
@@ Property / cites work: Q4449538 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic graphs and D0L-sequences of finite graphs
+Normal rank
@@ Property / cites work @@
+Q4939601
@@ Property / cites work: Q4939601 / rank @@
+Normal rank
@@ Property / cites work @@
+Families of automata characterizing context-sensitive languages
+Normal rank
@@ Property / cites work @@
+The theory of ends, pushdown automata, and second-order logic
+Normal rank
@@ Property / cites work @@
+Q3687741
@@ Property / cites work: Q3687741 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological approach to transductions
@@ Property / cites work: A topological approach to transductions / rank @@
+Normal rank
@@ Property / cites work @@
+On decidability of monadic logic of order over the naturals extended by monadic predicates
+Normal rank
@@ Property / cites work @@
+Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
+Normal rank
@@ Property / cites work @@
+Q4807827
@@ Property / cites work: Q4807827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740243
@@ Property / cites work: Q3740243 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218950
@@ Property / cites work: Q4218950 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic on tree-like structures
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3526410