AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2018.7
@@ Property / DOI: 10.1017/jsl.2018.7 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.05342
@@ Property / arXiv ID: 1702.05342 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and rational languages of words indexed by linear orderings
+Normal rank
@@ Property / cites work @@
+Automata on linear orderings
@@ Property / cites work: Automata on linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779147
@@ Property / cites work: Q4779147 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Automata and Automata on Linear Orderings
@@ Property / cites work: Tree Automata and Automata on Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4--8, 2011. Proceedings, Part II
+Normal rank
@@ Property / cites work @@
+Factorization forests for infinite words and applications to countable scattered linear orderings
+Normal rank
@@ Property / cites work @@
+Composition with Algebra at the Background
@@ Property / cites work: Composition with Algebra at the Background / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous monoids and yields of infinite trees
@@ Property / cites work: Continuous monoids and yields of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Definability and undefinability with real order at the background
+Normal rank
@@ Property / cites work @@
+Monadic theory of order and topology in ZFC
@@ Property / cites work: Monadic theory of order and topology in ZFC / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+On the elementary theory of linear order
@@ Property / cites work: On the elementary theory of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572332
@@ Property / cites work: Q5572332 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
+Normal rank
@@ Property / cites work @@
+On the Ehrenfeucht-Fraïssé game in theoretical computer science
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2018.7
@@ Property / DOI: 10.1017/JSL.2018.7 / rank @@
+Normal rank