M.Sato: "Conservativeness of LAMBDA over lambdasigma-calculus" Lecture Notes in Computer Science,Springer.

M.Sato: "Conservativeness of LAMBDA over lambdasigma-calculus" Lecture Notes in Computer Science,Springer.
复制标题

M.Sato:“LAMBDA 相对于 lambdasigma 演算的保守性”计算机科学讲义,施普林格。

DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
--
中科院分区:
--
文献类型:
--
作者:

文献摘要

参考文献

相似文献

DOI: 10.13016/daw5-mvla
发表时间: 1960
期刊:
影响因子: --
作者:
J. Edmonds
通讯作者: J. Edmonds
立方体格子:多维数据挖掘的框架
DOI: --
发表时间: 2003
期刊: SDM
影响因子: --
作者:
Alain Casali;R. Cicchetti;L. Lakhal
通讯作者: L. Lakhal
DOI: --
发表时间: 2002
期刊: --
影响因子: --
作者:
D. Peuquet
通讯作者: D. Peuquet
时间尺度系统和地图表示中的现实
DOI: 10.1179/000870494787073682
发表时间: 1994
期刊:
影响因子: --
作者:
Zhilin Li
通讯作者: Zhilin Li
DOI: 10.4324/9780203301227
发表时间: 2000
期刊: --
影响因子: --
作者:
J. Raper
通讯作者: J. Raper