Mechanically proving termination using polynomial interpretations (Q851142): Difference between revisions

@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiME
@@ Property / describes a project that uses: CiME / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CARIBOO
@@ Property / describes a project that uses: CARIBOO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tsukuba
@@ Property / describes a project that uses: Tsukuba / 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.1007/s10817-005-9022-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1988455648
@@ Property / OpenAlex ID: W1988455648 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Efficient computation of addition chains
@@ Property / cites work: Efficient computation of addition chains / rank @@
+Normal rank
@@ Property / cites work @@
+Addition chains using continued fractions
@@ Property / cites work: Addition chains using continued fractions / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms with polynomial interpretation termination proof
+Normal rank
@@ Property / cites work @@
+Compiling constraints in clp(FD)
@@ Property / cites work: Compiling constraints in clp(FD) / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanically proving termination using polynomial interpretations
+Normal rank
@@ Property / cites work @@
+Q4385535
@@ Property / cites work: Q4385535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365757
@@ Property / cites work: Q4365757 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Addition Chain Methods for the Evaluation of Specific Polynomials
+Normal rank
@@ Property / cites work @@
+Computing Sequences with Addition Chains
@@ Property / cites work: Computing Sequences with Addition Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Testing positiveness of polynomials
@@ Property / cites work: Testing positiveness of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935355
@@ Property / cites work: Q3935355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494366
@@ Property / cites work: Q4494366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287502
@@ Property / cites work: Q5287502 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewrite systems by elementary interpretations
+Normal rank
@@ Property / cites work @@
+Q4808754
@@ Property / cites work: Q4808754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539643
@@ Property / cites work: Q4539643 / rank @@
+Normal rank
@@ Property / cites work @@
+On vectorial addition chains
@@ Property / cites work: On vectorial addition chains / rank @@
+Normal rank
@@ Property / cites work @@
+On the Evaluation of Powers and Monomials
@@ Property / cites work: On the Evaluation of Powers and Monomials / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447254
@@ Property / cites work: Q4447254 / rank @@
+Normal rank
@@ Property / cites work @@
+Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
+Normal rank
@@ Property / cites work @@
+Q4279675
@@ Property / cites work: Q4279675 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. Cumulative index, volumes 1-100 (1992)
+Normal rank
@@ Property / cites work @@
+Q4256647
@@ Property / cites work: Q4256647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular and incremental automated termination proofs
+Normal rank
@@ Property / cites work @@
+Minimizing sums of addition chains
@@ Property / cites work: Minimizing sums of addition chains / rank @@
+Normal rank