Rewriting systems and word problems in a free partially commutative monoid (Q1102124): Difference between revisions

@@ Property / cites work @@
+An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages
+Normal rank
@@ Property / cites work @@
+Confluent and Other Types of Thue Systems
@@ Property / cites work: Confluent and Other Types of Thue Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939790
@@ Property / cites work: Q3939790 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser property
@@ Property / cites work: Testing for the Church-Rosser property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3736919
@@ Property / cites work: Q3736919 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal serializability of iterated transactions
@@ Property / cites work: Maximal serializability of iterated transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+The undecidability of the preperfectness of Thue systems
+Normal rank
@@ Property / cites work @@
+Q3738586
@@ Property / cites work: Q3738586 / rank @@
+Normal rank