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

@@ Property / author @@
-Victor L. Selivanov
@@ Property / author: Victor L. Selivanov / rank @@
-Normal rank
@@ Property / author @@
+Victor L. Selivanov
@@ Property / author: Victor L. Selivanov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02737-6_37
+Normal rank
@@ Property / OpenAlex ID @@
+W1487352616
@@ Property / OpenAlex ID: W1487352616 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3637247