Combinatory reduction systems: introduction and survey

机译：组合减量系统：介绍和调查

代理获取

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

页面导航

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

著录项

作者
Klop Jan Willem; van Oostrom Vincent; van Raamsdonk Femke;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies [J] . JeroenKetema, JakobGrueSimonsen Logical Methods in Computer Science . 2010,第1期

机译：不定式组合归约系统：归一化归约策略
2. Infinitary Combinatory Reduction Systems [J] . Jeroen Ketema, akob Grue Simonsen Information and computation . 2011,第6期

机译：不定式组合还原系统
3. CRSX - Combinatory Reduction Systems with Extensions [J] . Kristoffer H. Rose LIPIcs : Leibniz International Proceedings in Informatics . 2011,第23期

机译：CRSX-带有扩展的组合还原系统
4. Semantic Labelling for Proving Termination of Combinatory Reduction Systems [C] . Makoto Hamana International Workshop on Functional and Constraint Logic Programming . 2010

机译：用于证明组合减少系统终止的语义标记
5. A new program for combinatory reduction and abstraction. [D] . Deshpande, Sushant. 2010

机译：组合归约和抽象的新程序。
6. A theoretical introduction to Combinatory SYBR®Green qPCR Screening a matrix-based approach for the detection of materials derived from genetically modified plants [O] . Marc Van den Bulcke, Antoon Lievens, Elodie Barbau-Piednoir, -1

机译：对组合SYBR®GreenqPCR筛选的理论介绍这是一种基于基质的方法用于检测来自转基因植物的材料
7. Combinatory Reduction Systems: introduction and survey [O] . Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk 1993

机译：组合减少系统：介绍和调查
8. Combinatory Reduction Systems: Introduction and Survey [R] . Klop, J. W., van Oostrom, V., van Raamsdonk, F. 1993

机译：组合减少系统：介绍和调查

Combinatory reduction systems: introduction and survey

著录项

引文网络

相似文献

相关主题

期刊订阅