×

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

从开放地图中对互刺激的操作理解。 (英语) Zbl 0925.68290号

Andrew Gordon(编辑)等人,HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学,加利福尼亚州帕洛阿尔托,美国,1997年12月8日至12日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。10,第5号电子文件(1997年)。
MSC公司:68问题55
PDF格式BibTeX公司 XML格式引用
全文: 链接

\(\pi\)-演算的预处理模型。 (英语) 兹比尔0884.68078

Moggi,Eugenio(编辑)等人,《范畴理论与计算机科学》。1997年9月4日至6日,第七届国际会议,CTCS'97,意大利利古雷圣玛格丽塔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1290, 106-126 (1997).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

主字段