首页> 外文OA文献 >Translating Combinatory Reduction Systems into the Rewriting Calculus

【2h】

Translating Combinatory Reduction Systems into the Rewriting Calculus

机译：将组合归约系统转化为重写演算

代理获取

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

页面导航

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

著录项

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

展开▼
年度 2003
总页数
原文格式 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. Rewriting Systems and the Modelling of Biological Systems [O] . Jean-Louis Giavitto, Grant Malcolm, Olivier Michel 2004

机译：重写系统和生物系统建模
7. Translating Combinatory Reduction Systems into the Rewriting Calculus [O] . Clara Bertolissi, Horatiu Cirstea, Claude Kirchner 2003

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

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

Translating Combinatory Reduction Systems into the Rewriting Calculus

著录项

引文网络

相似文献

相关主题

期刊订阅