Polynomial interpretations with negative coefficients

被引：0

作者：

Hirokawa, N ^{[1
]}

Middeldorp, A ^{[1
]}

机构：

[1] Univ Innsbruck, Inst Comp Sci, A-6020 Innsbruck, Austria

来源：

ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS | 2004年 / 3249卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x - 1 for a unary function symbol or x - y for a binary function symbol, can be used to extend the class of rewrite systems that can be automatically proved terminating.

引用

页码：185 / 198

页数：14

共 50 条

[1] POLYNOMIAL INTERPRETATIONS OVER THE REALS DO NOT SUBSUME POLYNOMIAL INTERPRETATIONS OVER THE INTEGERS
Neurauter, Friedrich
Middeldorp, Aart
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 243 - 257
[2] JACOBI POLYNOMIAL EXPANSIONS OF JACOBI POLYNOMIALS WITH NON-NEGATIVE COEFFICIENTS
ASKEY, R
GASPER, G
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY-MATHEMATICAL AND PHYSICAL SCIENCES, 1971, 70 (SEP): : 243 - &
[3] Strongly polynomial sequences as interpretations
Goodall, A. J.
Nesetril, J.
de Mendez, P. Ossona
JOURNAL OF APPLIED LOGIC, 2016, 18 : 129 - 149
[4] POLYNOMIAL INTERPRETATIONS AND THE COMPLEXITY OF ALGORITHMS
CICHON, A
LESCANNE, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 139 - 147
[5] An estimate of the free term of a non-negative trigonometric polynomial with integer coefficients
Belov, AS
Konyagin, SV
IZVESTIYA MATHEMATICS, 1996, 60 (06) : 1123 - 1182
[6] COEFFICIENTS OF CYCLOTOMIC POLYNOMIAL
BEITER, M
AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (05): : 541 - &
[7] On the coefficients and zeros of a polynomial
Shen, DW
JOURNAL OF APPROXIMATION THEORY, 1999, 96 (02) : 405 - 410
[8] On the Evaluation of Polynomial Coefficients
Daniela Calvetti
Lothar Reichel
Numerical Algorithms, 2003, 33 : 153 - 161
[9] On the coefficients of the Hilbert polynomial
Elias, J
Rossi, ME
Valla, G
JOURNAL OF PURE AND APPLIED ALGEBRA, 1996, 108 (01) : 35 - 60
[10] COEFFICIENTS OF CHARACTERISTIC POLYNOMIAL
SHAPIRO, HA
SPITAL, S
AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 434 - &

← 1 2 3 4 5 →