Hagiya: "Generalization by parametrization in higher order type theory" Theoretical Computer Science. 1-28
Hagiya: "Generalization by parametrization in higher order type theory" Theoretical Computer Science. 1-28
复制标题
Hagiya：“高阶类型理论中参数化的概括”理论计算机科学。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
双向实时元胞自动机的确定性单向仿真及其相关问题
DOI：
10.1016/0020-0190(82)90028-x
发表时间：
1982
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
H. Umeo;K. Morita;K. Sugata
通讯作者：
K. Sugata
DOI：
10.1016/s0019-9958(80)90887-6
发表时间：
1980
期刊：
Inf. Control.
影响因子：
--
作者：
M. Oyamaguchi;N. Honda
通讯作者：
N. Honda
关于线性迭代（脉动）数组的一些结果
DOI：
10.1016/0743-7315(85)90034-6
发表时间：
1985
期刊：
J. Parallel Distributed Comput.
影响因子：
--
作者：
O. Ibarra;M. Palis;Sam M. Kim
通讯作者：
Sam M. Kim
单向有界元胞自动机
DOI：
10.1016/s0019-9958(80)90164-3
发表时间：
1980
期刊：
Inf. Control.
影响因子：
--
作者：
C. Dyer
通讯作者：
C. Dyer
DOI：
10.1016/s0304-3975(97)00222-3
发表时间：
1996
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Philippou;David Walker
通讯作者：
David Walker