Solving trace equations using lexicographical normal forms (Q4571965): Difference between revisions

@@ Property / author @@
-Q198161
@@ Property / author: Q198161 / rank @@
-Normal rank
@@ Property / author @@
+Yu. V. Matiyasevich
@@ Property / author: Yu. V. Matiyasevich / 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/3-540-63165-8_190
+Normal rank
@@ Property / OpenAlex ID @@
+W1534859586
@@ Property / OpenAlex ID: W1534859586 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the decidability of some problems for regular trace languages
+Normal rank
@@ Property / cites work @@
+The parallel complexity of two problems on concurrency
+Normal rank
@@ Property / cites work @@
+Inhomogeneous sorting
@@ Property / cites work: Inhomogeneous sorting / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on the representation of trace monoids
@@ Property / cites work: A remark on the representation of trace monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Solving trace equations using lexicographical normal forms
+Normal rank
@@ Property / cites work @@
+On some equations in free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376064
@@ Property / cites work: Q4376064 / rank @@
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank