×

第五届领域理论国际研讨会论文集(ISDT 2009),中国上海,2009年9月12-14日。 (英语) Zbl 1281.68019号

理论计算机科学电子笔记257.阿姆斯特丹:爱思唯尔。158页。,仅电子版(2009年)。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。关于第二次研讨会,请参见[Zbl 1056.68102号].
索引文章:
张国强,二元部分代数中的闭包。,3-18 [Zbl 1344.08002号]
杜文杰;邓玉欣,关于流动性和通信,19-33[Zbl 1342.68228号]
克劳斯·凯梅尔,双连续域和域理论中的一些老问题。,35-54 [Zbl 1344.06006号]
马艳芳;张敏,参数化互模拟极限的拓扑结构,55-70[Zbl 1342.68233号]
克里斯托夫·舒伯特,可测量空间上的联合逻辑:行为和逻辑等价,71-85[Zbl 1342.68242号]
吴,衡阳;陈一香,定量语义的对偶定理,87-97[Zbl 1342.68200号]
吴丽刚;范磊,基于具有预序族的集合的域方程。,99-115 [Zbl 1344.06004号]
杨凌云;徐,罗山,在粗糙概念格上。,117-133 [Zbl 1342.68314号]
姚伟,模糊dcpos.上分层滤波器的(L)-模糊Scott拓扑和Scott收敛。,135-152 [Zbl 1344.06007号]
周一辉;赵斌,\(Z\)-抽象基础。,153-158 [Zbl 1344.06009号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
05年6月 格的结构理论
72年6月 模糊格(软代数)及相关主题
68问题55 计算理论中的语义学
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 链接