Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963): Difference between revisions

@@ Property / author @@
-José Iborra
@@ Property / author: José Iborra / rank @@
-Normal rank
@@ Property / author @@
+José Iborra
@@ Property / author: José Iborra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ 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.entcs.2007.05.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2141699417
@@ Property / OpenAlex ID: W2141699417 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Context-Sensitive Dependency Pairs
@@ Property / cites work: Context-Sensitive Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809069
@@ Property / cites work: Q4809069 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Partial Order Constraints for LPO Termination
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation techniques for context-sensitive rewrite systems
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Polynomials over the reals in proofs of termination : from theory to practice
+Normal rank
@@ Property / cites work @@
+Proving termination of context-sensitive rewriting by transformation
+Normal rank
@@ Property / cites work @@
+On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of context-sensitive rewriting
@@ Property / cites work: Termination of context-sensitive rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of string rewriting proved automatically
+Normal rank