First-order concatenation theory with bounded quantifiers (Q2219089): Difference between revisions

@@ Property / OpenAlex ID @@
+W3028542372
@@ Property / OpenAlex ID: W3028542372 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04964
@@ Property / arXiv ID: 2003.04964 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding in the existential theory of concatenation
@@ Property / cites work: Coding in the existential theory of concatenation / rank @@
+Normal rank
@@ Property / cites work @@
+String theory
@@ Property / cites work: String theory / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiability of word equations: decidable and undecidable theories
+Normal rank
@@ Property / cites work @@
+Undecidability without arithmetization
@@ Property / cites work: Undecidability without arithmetization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509164
@@ Property / cites work: Q3509164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144688
@@ Property / cites work: Q5144688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5771775
@@ Property / cites work: Q5771775 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
+Normal rank
@@ Property / cites work @@
+Weak theories of concatenation and arithmetic
@@ Property / cites work: Weak theories of concatenation and arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+The expressibility of languages and relations by word equations
+Normal rank
@@ Property / cites work @@
+Decidable and undecidable fragments of first-order concatenation theory
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Generalized Collatz Problem
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / 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 @@
+On interpretability in the theory of concatenation
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+Growing commas. A study of sequentiality and concatenation
+Normal rank