Simplifying Algebraic Functional Systems

机译：简化代数功能系统

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

A popular formalism of higher order rewriting, especially in the light of termination research, are the Algebraic Functional Systems (AFSs) defined by Jouannaud and Okada. However, the formalism is very permissive, which makes it hard to obtain results; consequently, techniques are often restricted to a subclass. In this paper we study termination-preserving transformations to make AFS-programs adhere to a number of standard properties. This makes it significantly easier to obtain general termination results.

机译：Jouannaud和Okada定义的代数功能系统（AFS）是流行的高级重写形式，尤其是根据终止研究。但是，形式主义非常宽容，因此很难获得结果。因此，技术通常仅限于子类。在本文中，我们研究了保留终止的转换，以使AFS程序遵守许多标准属性。这使得获得一般的终止结果变得非常容易。

著录项

来源
《Algebraic informatics》|2011年|p.201-215|共15页
会议地点 Linz(AT);Linz(AT)
作者
Cynthia Kop;
展开▼
作者单位

Department of Computer Science VU University Amsterdam, The Netherlands;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词
higher order term rewriting; algebraic functional systems; termination; transformations; currying; η-expansion;

机译：高阶术语重写；代数功能系统；终止;转变； curr η-膨胀;

相似文献

外文文献
中文文献
专利

1. The Design of Functionally Complex Systems Based on the Probabilistic-Algebraic Simulation [J] . E.I. Sukach Journal of automation and information sciences . 2011,第3期

机译：基于概率代数仿真的功能复杂系统的设计
2. A Simplified Algebraic Method For System Of Linear Inequalities With Lp Applications [J] . Hossein Arshanr, Veena Adlakha, Benjamin Lev Omega . 2009,第4期

机译：具有Lp应用的线性不等式系统的简化代数方法
3. Electron donating group substituted and a-D-mannopyranoside directly functionalized polydiacetylenes as a simplified bio-sensing system for detection of lectin and E. coli [J] . Jun-Jie Koh, Shouping Liu, Wennan Zeng, Sensors and Actuators . 2013,第Mara1期

机译：给电子基团取代的和α-D-甘露吡喃糖苷直接官能化的聚二乙炔，作为简化的生物传感系统，用于检测凝集素和大肠杆菌
4. Simplifying Algebraic Functional Systems [C] . Cynthia Kop International Conference on Algebraic Informatics . 2011

机译：简化代数功能系统
5. Computer algebra systems in mathematics education: A case study examining the introduction of computer algebra systems to secondary mathematics teachers. [D] . Nowakowski, Anthony Joseph. 1992

机译：数学教育中的计算机代数系统：一个案例研究，研究了将计算机代数系统引入中学数学教师的情况。
6. Criteria for the Simplification of Algebraic Plane Curves [O] . Julian Coolidge 1928

机译：简化代数平面曲线的准则
7. On algebraic simplifications of linear functional systems [O] . Thomas Cluzeau, Alban Quadrat 2009

机译：关于线性泛函系统的代数简化
8. Algebraic Tests for Functional Controllability of Functional Differential Equation Systems [R] . Triggiani, R. 1982

机译：泛函微分方程系统功能可控性的代数检验

Simplifying Algebraic Functional Systems

摘要

著录项

相似文献

相关主题

期刊订阅