Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692463
@@ Property / cites work: Q4692463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255514
@@ Property / cites work: Q4255514 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994202
@@ Property / cites work: Q3994202 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of completeness revisited
@@ Property / cites work: Modularity of completeness revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204048
@@ Property / cites work: Q3204048 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of constructor systems
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+Input-Termination of Logic Programs
@@ Property / cites work: Input-Termination of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On termination of the direct sum of term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for 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 @@
+Termination for direct sums of left-linear complete term rewriting systems
+Normal rank