首页> 外文OA文献 >Expressing combinatory reduction systems derivations in the rewriting calculus

【2h】

Expressing combinatory reduction systems derivations in the rewriting calculus

机译：在重写微积分中表达组合简化系统的推导

页面导航

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

著录项

作者
Clara Bertolissi; Horatiu Cirstea; Claude Kirchner;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 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. Strong Reduction of Combinatory Calculus with Streams [J] . Nakazawa Koji, Naya Hiroto Studia Logica . 2015,第2期

机译：用流强烈减少组合演算
3. Combinatory weak reduction in lambda calculus [J] . Cagman N., Hindley JR. Theoretical computer science . 1998,第1a2期

机译：Lambda演算的组合弱减少
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. An expert system for pi-Calculus and Api-Calculus reduction. [D] . Dillard, John. 2005

机译：减少pi-微积分和Api-微积分的专家系统。
6. Rat adipose-derived mesenchymal stem cells aging reduction by zinc sulfate under extremely low frequency electromagnetic field exposure is associated with increased telomerase reverse transcriptase gene expression [O] . Ezzatollah Fathi, Raheleh Farahzadi, Reza Rahbarghazi, 2017

机译：极低频电磁场作用下硫酸锌对大鼠脂肪间充质干细胞衰老的减少与端粒酶逆转录酶基因表达的增加有关
7. Translating Combinatory Reduction Systems into the Rewriting Calculus [O] . Bertolissi Clara, Cirstea Horatiu, Kirchner Claude 2003

机译：将组合归约系统转化为重写演算
8. Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems [R] . van Oostrom, V., van Raamsdonk, F. 1993

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

Expressing combinatory reduction systems derivations in the rewriting calculus

著录项

引文网络

相似文献

相关主题

期刊订阅