Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

Friedrich Neurauter; Aart Middeldorp

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

【24h】

Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

机译：关于实数的多项式解释不包含对整数的多项式解释

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and integer coefficients. In 2006, Lucas proved that there are rewrite systems

机译：多项式解释是一种证明术语重写系统终止的有用技术。它们具有多种形式：具有实，有理和整数系数的多项式解释。 2006年，卢卡斯证明存在重写系统

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2010年第2期|共16页
作者
Friedrich Neurauter; Aart Middeldorp;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Dual complementary polynomials of graphs and combinatorial–geometric interpretation on the values of Tutte polynomial at positive integers [J] . Beifang Chen European journal of combinatorics . 2014,第Null期

机译：图的对偶互补多项式和正整数下的Tutte多项式值的组合几何解释
2. Comparison of annular wavefront interpretation with Zernike circle polynomials and annular polynomials [J] . Xi Hou, Fan Wu, Li Yang, Applied Optics . 2006,第35期

机译：环形波前解释与Zernike圆多项式和环形多项式的比较
3. Comparison of annular wavefront interpretation with Zernike circle polynomials and annular polynomials [J] . Xi Hou, Fan Wu, Li Yang, Applied optics . 2006,第35期

机译：环形波前解释与Zernike圆多项式和环形多项式的比较
4. Numerical-Experimental Model and Polynomial Regression Method for Interpretation of G-BHN Relation of Kraft-Based Fibrous Composites Evaluated by Using Brinell Analysis [C] . RakdiawMuangma, Supattra Wongsaenmai, Tawat Soitong International Conference on Materials Science and Technology . 2019

机译：用Brinell分析评价牛皮纸基纤维复合材料G-BHN关系的数值实验模型和多项式回归方法
5. An inverse kinematic solution to the 6 degree of freedom Kuka 662 robot by reduction to an 8th order univariate polynomial,or a 4th order bivariate polynomial, with up to 4 real solutions [D] . Kaufman, Richard D. 2009

机译：通过还原为8阶单变量多项式或4阶双变量多项式，对6自由度Kuka 662机器人进行逆运动学解，其中最多包含4个实解
6. Sylow p-groups of polynomial permutations on the integers mod ... formula ... [O] . Sophie Frisch, Daniel Krenn -1

机译：整数mod ...公式...上的多项式置换的Sylow p组
7. Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers [O] . Neurauter Friedrich, Middeldorp Aart 2010

机译：对Reals的多项式解释不会对整数进行多项式解释

Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

摘要

著录项

相似文献

相关主题

期刊订阅