×

CTCS’99。类别理论与计算机科学会议,英国爱丁堡,1999年9月10日至12日。 (英语) 兹比尔0942.00057

理论计算机科学电子笔记. 29. 阿姆斯特丹:爱思唯尔,22篇论文(电子版)(1999年)。

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

本卷的文章将单独进行审查。
索引文章:
托马斯·斯特里彻,重新审视名称完整性,第13页,仅电子版[Zbl 0959.03508号]
道格拉斯·史密斯。,Designware:软件开发细化,13页,仅电子版[Zbl 0966.68024号]
权力,约翰;丹尼尔·图里,线性时间语义的联合基础,16页,仅电子版[Zbl 0967.68102号]
罗朝晖;谢尔盖·索洛维耶夫,从属胁迫,17 p.,仅电子[Zbl 0967.68047号]
保罗·马特乌斯;阿米尔卡塞尔纳达斯;克里斯蒂娜·瑟纳达斯,组合概率自动机的预分类,18 p.,仅电子版[Zbl 0966.68096号]
布鲁尼,R。;梅塞盖尔,J。;Montanari,美国。;萨索内,V。,《个体标记哲学下Petri网的函数语义》,18页,仅电子版[Zbl 0966.68108号]
J·帕塞卡。对偶半格范畴中的Hilbert模和核理想,19 p.,仅电子[Zbl 0961.18004号]
弗朗西斯科·杜兰;何塞·梅塞盖尔,结构化理论和制度,19页,仅电子版[Zbl 0966.68130号]
Bednarczyk,Marek A。;Andrzej M.Borzyszkowski。,反应系统的并行实现,19页,仅电子版[Zbl 0966.68146号]
法比奥·加杜奇(Fabio Gadducci);Reiko Heckel;拉贝尔,梅塞,并发图重写的双范畴公理化,21页,仅电子版[Zbl 0967.68089号]
莫吉,E。;Bellè,G。;杰伊,C.B。,单子,形状函子和遍历,22页,仅电子版[Zbl 0967.68038号]
Hideki Tsuiki,Lax泛型函数的域理论语义,24 p.,仅电子版[Zbl 0967.68103号]
马丁·海兰德(Martin Hyland);安德烈亚·沙尔克,线性逻辑的抽象游戏。(扩展摘要),24页,仅电子版[兹比尔0959.03507]
托马斯·希尔德布兰特。,有限延迟SCCS的完全抽象预处理语义,25页,仅电子版[Zbl 0967.68104号]
林赛·埃尔林顿,关于消息传递过程的语义,28页,仅电子版[Zbl 0967.68105号]
马丁·韦尔,高维语法,29p。,仅电子版[Zbl 0967.68093号]
Koh,T.W。;Ong,C.-H.L.公司。,自主和*自主类别的显式替换内部语言,30页,仅电子版[Zbl 0967.03025号]
Murawski,A.S。;Ong,C.-H.L.公司。《精疲力竭的策略》、《小丑游戏》和《IMLL完整性》,单元31页,仅电子版[Zbl 0959.03505号]
安娜·布卡洛;费尔曼,卡斯滕;亚历克斯·辛普森,等式提升单子,32 p.,仅电子版[Zbl 0966.68107号]
A.Eppendahl。,余代数到代数态射,8 p.,仅电子版[Zbl 0961.18005号]
彼得·弗雷德路径积分,贝叶斯视觉,高斯求积真的好吗?,无页码。,仅电子版[Zbl 0967.68163号]
琉长谷川,解析函子在理论计算机科学中的若干应用,第页。,仅电子版[Zbl 0966.68046号]

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
18-06 与范畴理论有关的会议记录、会议、收藏等
PDF格式BibTeX公司 XML格式引用