On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506): Difference between revisions

@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817653
@@ Property / cites work: Q3817653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sufficient conditions for modular termination of rewriting
+Normal rank
@@ Property / cites work @@
+Q4255514
@@ Property / cites work: Q4255514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846997
@@ Property / cites work: Q4846997 / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for modular termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4537514
@@ Property / cites work: Q4537514 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+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 @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Q4268467
@@ Property / cites work: Q4268467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490728
@@ Property / cites work: Q4490728 / 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 conditional constructor systems
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of constructor systems
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+On the modularity of termination of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4954455
@@ Property / cites work: Q4954455 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+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