Automatic Proofs of Termination With Elementary Interpretations (Q5170190): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.12.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2010033825
@@ Property / OpenAlex ID: W2010033825 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Sensitive Dependency Pairs
@@ Property / cites work: Context-Sensitive Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive dependency pairs
@@ Property / cites work: Context-sensitive dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
+Normal rank
@@ Property / cites work @@
+Orderings and Constraints: Theory and Practice of Proving Termination
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4509464
@@ Property / cites work: Q4509464 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing positiveness of polynomials
@@ Property / cites work: Testing positiveness of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Termination of rewrite systems by elementary interpretations
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+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 @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank