Modular proofs for completeness of hierarchical term rewriting systems (Q1350349): Difference between revisions

@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / 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 @@
+Q4246729
@@ Property / cites work: Q4246729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Learning Theory
@@ Property / cites work: Algorithmic Learning Theory / rank @@
+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 @@
+Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4202945
@@ Property / cites work: Q4202945 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular term rewriting systems and the termination
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+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 @@
+Q4431370
@@ Property / cites work: Q4431370 / rank @@
+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 @@
+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