The expressibility of languages and relations by word equations (Q4571943): Difference between revisions

@@ Property / cites work @@
+A proof of Ehrenfeucht's conjecture
@@ Property / cites work: A proof of Ehrenfeucht's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714479
@@ Property / cites work: Q3714479 / 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 @@
+Systems of equations over a free monoid and Ehrenfeucht's conjecture
+Normal rank
@@ Property / cites work @@
+Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for patterns
@@ Property / cites work: Decision problems for patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Equations in free semigroups
@@ Property / cites work: Equations in free semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Makanin's algorithm
@@ Property / cites work: Complexity of Makanin's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q5673640
@@ Property / cites work: Q5673640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159542
@@ Property / cites work: Q4159542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202955
@@ Property / cites work: Q4202955 / rank @@
+Normal rank