Systems of equations over a free monoid and Ehrenfeucht's conjecture (Q786545): Difference between revisions

@@ Property / cites work @@
+Q3933776
@@ Property / cites work: Q3933776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of the equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+Q3901701
@@ Property / cites work: Q3901701 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of homomorphism equivalence for languages
+Normal rank
@@ Property / cites work @@
+Test sets and checking words for homomorphism equivalence
+Normal rank
@@ Property / cites work @@
+Simplifications of homomorphisms
@@ Property / cites work: Simplifications of homomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of the dol prefix problem
@@ Property / cites work: The decidability of the dol prefix problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140407
@@ Property / cites work: Q4140407 / rank @@
+Normal rank