Definability in the Infix Order on Words (Q3637247): Difference between revisions

@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary theory of free non-abelian groups.
@@ Property / cites work: Elementary theory of free non-abelian groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Homomorphic Quasiorder of Finite Labeled Forests
+Normal rank
@@ Property / cites work @@
+Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
+Normal rank
@@ Property / cites work @@
+A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
+Normal rank
@@ Property / cites work @@
+Definability in the \(h\)-quasiorder of labeled forests
+Normal rank
@@ Property / cites work @@
+Theories of orders on the set of words
@@ Property / cites work: Theories of orders on the set of words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341774
@@ Property / cites work: Q4341774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513973
@@ Property / cites work: Q4513973 / rank @@
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Hierarchies of Δ<sup>0</sup><sub>2</sub>‐measurable <i>k</i> ‐partitions
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank