On proving \(C_E\)-termination of rewriting by size-change termination (Q835016): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2004.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2052970406
@@ Property / OpenAlex ID: W2052970406 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q3408137
@@ Property / cites work: Q3408137 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sufficient conditions for modular termination of rewriting
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular proofs for completeness of hierarchical term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Q4494366
@@ Property / cites work: Q4494366 / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+On the modularity of termination of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Hierarchical termination revisited.
@@ Property / cites work: Hierarchical termination revisited. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447238
@@ Property / cites work: Q4447238 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539636
@@ Property / cites work: Q4539636 / rank @@
+Normal rank