On confluence of one-rule trace-rewriting systems (Q4841768): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+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 @@
+A note on special thue systems with a single defining relation
+Normal rank
@@ Property / cites work @@
+Rewriting systems and word problems in a free partially commutative monoid
+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 @@
+Partial commutations and faithful rational transductions
+Normal rank
@@ Property / cites work @@
+Recognizable subsets of some partially Abelian monoids
+Normal rank
@@ Property / cites work @@
+Q3736919
@@ Property / cites work: Q3736919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795205
@@ Property / cites work: Q3795205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771597
@@ Property / cites work: Q3771597 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / rank @@
+Normal rank
@@ Property / cites work @@
+On some equations in free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solution of some problems in free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+Calcul de longueurs de chaînes de réécriture dans le monoïde libre
+Normal rank
@@ Property / cites work @@
+The undecidability of the preperfectness of Thue systems
+Normal rank
@@ Property / cites work @@
+Preperfectness is undecidable for Thue systems containing only length- reducing rules and a single commutation rule
+Normal rank
@@ Property / cites work @@
+On deciding confluence of finite string-rewriting systems modulo partial commutativity
+Normal rank
@@ Property / cites work @@
+On confluence versus strong confluence for one-rule trace-rewriting systems
+Normal rank
@@ Property / cites work @@
+A note on thue systems with a single defining relation
+Normal rank
@@ Property / cites work @@
+Overlaps in free partially commutative monoids
@@ Property / cites work: Overlaps in free partially commutative monoids / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01185401
+Normal rank
@@ Property / OpenAlex ID @@
+W2054875301
@@ Property / OpenAlex ID: W2054875301 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4841768