Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556): Difference between revisions

@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence without termination via parallel critical pairs
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+The Confluence Problem for Flat TRSs
@@ Property / cites work: The Confluence Problem for Flat TRSs / rank @@
+Normal rank
@@ Property / cites work @@
+Development closed critical pairs
@@ Property / cites work: Development closed critical pairs / rank @@
+Normal rank
@@ Property / cites work @@
+A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Undecidable Properties on Length-Two String Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705622
@@ Property / cites work: Q4705622 / rank @@
+Normal rank