Modularity of simple termination of term rewriting systems with shared constructors (Q1199539): Difference between revisions

@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular term rewriting systems and the termination
+Normal rank
@@ Property / cites work @@
+Modular aspects of properties of term rewriting systems related to normal forms
+Normal rank
@@ Property / cites work @@
+Q3204048
@@ Property / cites work: Q3204048 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of constructor systems
+Normal rank
@@ Property / cites work @@
+Q3783524
@@ Property / cites work: Q3783524 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination of the direct sum of term-rewriting systems
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination for direct sums of left-linear complete term rewriting systems
+Normal rank