Overlap closures do not suffice for termination of general term rewriting systems (Q922713): Difference between revisions

@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``Termination of rewriting''
@@ Property / cites work: Corrigendum to ``Termination of rewriting'' / rank @@
+Normal rank
@@ Property / cites work @@
+On Proving Uniform Termination and Restricted Termination of Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On termination of 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