On equations in free semigroups with certain constraints on their solutions. (Q843606): Difference between revisions

@@ Property / cites work @@
+Q3926793
@@ Property / cites work: Q3926793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047699
@@ Property / cites work: Q4047699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041566
@@ Property / cites work: Q4041566 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
+Normal rank
@@ Property / cites work @@
+Generalization of problem 9.25 from ``The Kourovka notebook''
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750010
@@ Property / cites work: Q4750010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4712129
@@ Property / cites work: Q4712129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619830
@@ Property / cites work: Q5619830 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
+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 @@
+Q2762503
@@ Property / cites work: Q2762503 / rank @@
+Normal rank
@@ Property / cites work @@
+The existential theory of equations with rational constraints in free groups is PSPACE-complete
+Normal rank