One-rule trace-rewriting systems and confluence (Q5096864): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+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 @@
+On the Knuth-Bendix completion for concurrent processes
+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 @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q3998014
@@ Property / cites work: Q3998014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698316
@@ Property / cites work: Q3698316 / rank @@
+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 @@
+Overlaps in free partially commutative monoids
@@ Property / cites work: Overlaps in free partially commutative monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of one-rule Thue systems
@@ Property / cites work: Confluence of one-rule Thue systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55808-x_50
+Normal rank
@@ Property / OpenAlex ID @@
+W1499505013
@@ Property / OpenAlex ID: W1499505013 / rank @@
+Normal rank