An undecidable property of context-free linear orders (Q1944046): Difference between revisions

@@ Property / cites work @@
+The equational theory of regular words
@@ Property / cites work: The equational theory of regular words / rank @@
+Normal rank
@@ Property / cites work @@
+Regular and Algebraic Words and Ordinals
@@ Property / cites work: Regular and Algebraic Words and Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+ALGEBRAIC LINEAR ORDERINGS
@@ Property / cites work: ALGEBRAIC LINEAR ORDERINGS / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Ordinals
@@ Property / cites work: Algebraic Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Orders in the Pushdown Hierarchy
@@ Property / cites work: Linear Orders in the Pushdown Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. II
@@ Property / cites work: A representation of trees by languages. II / rank @@
+Normal rank
@@ Property / cites work @@
+Automaticity of ordinals and of homogeneous graphs
+Normal rank
@@ Property / cites work @@
+Q3871942
@@ Property / cites work: Q3871942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+On frontiers of regular trees
@@ Property / cites work: On frontiers of regular trees / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank