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

@@ 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