Modularity of Confluence (Q3541716): Difference between revisions

@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modularity of confluence: A simplified proof
@@ Property / cites work: Modularity of confluence: A simplified proof / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Church-Rosser Modulo
@@ Property / cites work: Modular Church-Rosser Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional term rewriting: An algebraic proof of Toyama's theorem
+Normal rank
@@ Property / cites work @@
+Q4362961
@@ Property / cites work: Q4362961 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by Decreasing Diagrams
@@ Property / cites work: Confluence by Decreasing Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520528
@@ Property / cites work: Q4520528 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular aspects of properties of term rewriting systems related to normal forms
+Normal rank
@@ Property / cites work @@
+Confluence of the disjoint union of conditional term rewriting systems
+Normal rank