首页> 外文OA文献 >Comparing combinatory reduction systems and higher-order rewrite systems

【2h】

Comparing combinatory reduction systems and higher-order rewrite systems

机译：比较组合减少系统和高阶重写系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Vincent Oostrom; Femke Raamsdonk;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Expressing combinatory reduction systems derivations in the rewriting calculus [J] . Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Higher-order and symbolic computation . 2006,第4期

机译：在重写演算中表达组合归约系统的派生
2. Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies [J] . JeroenKetema, JakobGrueSimonsen Logical Methods in Computer Science . 2010,第1期

机译：不定式组合归约系统：归一化归约策略
3. Argument Filterings and Usable Rules in Higher-Order Rewrite Systems [J] . SUZUKI Sho, KUSAKARI Keiichirou, Frederic BLANQUI 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2010,第169期

机译：高阶重写系统中的参数过滤和可用规则
4. The Rewriting Calculus as a Combinatory Reduction System [C] . Clara Bertolissi, Claude Kirchner Foundations of Software Science and Computation Structures; Lecture Notes in Computer Science; 4423 . 2007

机译：作为组合归约系统的重写演算
5. The structure exploiting arnoldi algorithm for model order reduction of general higher-order linear dynamical systems. [D] . Anderson, Jeffrey A. 2013

机译：利用arnoldi算法进行结构简化的通用高阶线性动力系统模型降阶。
6. Rewriting Systems and the Modelling of Biological Systems [O] . Jean-Louis Giavitto, Grant Malcolm, Olivier Michel 2004

机译：重写系统和生物系统建模
7. Rewriting Formalisms With Binding Support:Comparing Combinatory Reduction Systems and Nominal Rewrite Systems with Atom Substitution [O] . Dominguez Alvarez Jesus 2017

机译：具有绑定支持的重写形式主义：比较组合归约系统和具有原子替换的名义重写系统
8. Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems [R] . van Oostrom, V., van Raamsdonk, F. 1993

机译：比较组合减少系统和高阶重写系统

Comparing combinatory reduction systems and higher-order rewrite systems

著录项

引文网络

相似文献

相关主题

期刊订阅