Sampling, Splitting and Merging in Coinductive Stream Calculus

机译：归纳流演算中的采样，拆分和合并

代理获取

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

页面导航

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

著录项

作者
M. Niqui; Jan Rutten;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A coinductive calculus of streams [J] . J. J. M. M. Rutten Mathematical structures in computer science . 2005,第1期

机译：流的协整演算
2. A tutorial on coinductive stream calculus and signal flow graphs [J] . J. J. M. M. Rutten Theoretical computer science . 2005,第3期

机译：共归流演算和信号流图教程
3. Behavioural differential equations: a coinductive calculus of streams, automata, and power series [J] . J. J. M. M. Rutten Theoretical computer science . 2003,第1a3期

机译：行为微分方程：流，自动机和幂级数的协和演算
4. Sampling, Splitting and Merging in Coinductive Stream Calculus [C] . Milad Niqui, Jan Rutten Mathematics of program construction . 2010

机译：归纳流演算中的采样，拆分和合并
5. Root, successive-cyclic and feature-splitting internal merge: Implications for feature-inheritance and transfer [D] . Obata, Miki 2010

机译：根，连续循环和特征分解内部合并：特征继承和转移的含义
6. Evaluation of an alternate method for sampling benthic macroinvertebrates in low-gradient streams sampled as part of the National Rivers and Streams Assessment [O] . Joseph E. Flotemersch, Sheila North, Karen A. Blocksom -1

机译：评价作为国家河流和溪流评估一部分的低坡度溪流中底栖大型无脊椎动物取样方法的评估
7. A coinductive calculus of streams [O] . Rutten, J.J.M.M. 2005

机译：流的协整演算
8. Sampling, Splitting and Merging in Coinductive Stream Calculus [R] . Niqui, M., Rutten, J. 2009

机译：共感流微积分中的采样，分裂和合并

Sampling, Splitting and Merging in Coinductive Stream Calculus

著录项

引文网络

相似文献

相关主题

期刊订阅