The Order Type of Scattered Context-Free Orderings of Rank One Is Computable (Q3297776): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3004242949
@@ Property / OpenAlex ID: W3004242949 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11573
@@ Property / arXiv ID: 1907.11573 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Ordinals
@@ Property / cites work: Algebraic Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of regular words
@@ Property / cites work: The equational theory of regular words / rank @@
+Normal rank
@@ Property / cites work @@
+Scattered Context-Free Linear Orderings
@@ Property / cites work: Scattered Context-Free Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidable property of context-free linear orders
+Normal rank
@@ Property / cites work @@
+Hausdorff Rank of Scattered Context-Free Linear Orders
+Normal rank
@@ Property / cites work @@
+Q5020534
@@ Property / cites work: Q5020534 / rank @@
+Normal rank
@@ Property / cites work @@
+The ordinal generated by an ordinal grammar is computable
+Normal rank
@@ Property / cites work @@
+Q3871942
@@ Property / cites work: Q3871942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism of regular trees and words
@@ Property / cites work: Isomorphism of regular trees and words / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3297776