×

找到8个文档(结果1-8)

Giry和机器。 (英语) Zbl 1395.54012号

Birkedal,Lars(编辑),第32届编程语义数学基础会议论文集(MFPS XXXII),卡内基梅隆大学,匹兹堡,宾夕法尼亚州,美国,2016年5月23日至26日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记325,85-110(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化互模拟极限的拓扑构造。 (英语) Zbl 1342.68233号

Chen,Y.-X.(编辑)等,第五届领域理论国际研讨会论文集,中国上海,2009年9月12-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记257,55-70(2009)。
MSC公司:68问题85 54时12分
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份