2017年第7届CALCO:斯洛文尼亚卢布尔雅那
菲利波·邦奇 , 芭芭拉·科尼格 :
2017年6月12日至16日在斯洛文尼亚卢布尔雅那举行的第七届计算机科学代数和余代数会议。 LIPIcs公司 72, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2017 ,国际标准图书编号 978-3-95977-033-0 -
首页,目录,序言,作者名单。 0:i-0:x 亚历克斯·辛普森 :
概率滑轮和Giry Monad。 1:1-1:6 亚历山德罗·吉安诺拉 , 斯特凡诺·卡桑吉安 , 尼科莱塔·萨巴迪尼 :
Cospan/Span(图):开放可重构自动机网络的代数。 2:1-2:17 杰里·阿达梅克 , 斯特凡·米利乌斯 :
关于保持余积的函子的余序代数。 3:1-3:15 泽纳布·巴赫蒂亚里 , 海尔·维德·汉森 :
弱表达的联合模态逻辑的双模拟。 4:1-4:16 亨宁·巴索尔德 , 达米恩·普斯 , 侏罗纪腐朽 :
无障碍函数的单面体公司。 5:1-5:16 严酷的贝哈尔 , 塞巴斯蒂安·库珀 :
基于路径的余代数与弱互模拟概念。 6:1-6:17 Corina Cêrstea科瑞纳·科斯特 , 清水顺介 , 哈朔一郎 :
定量线性时间逻辑的奇偶自动机。 7:1-7:18 托马斯·科尔科姆贝特 , 丹妮拉·佩特里桑 :
自动最小化:一种函数方法。 8:1-8:16 弗雷德里克·达尔奎斯特 , 亚历山大·库兹 :
余代数逻辑的实证。 9:1-9:15 克洛维斯·埃伯哈特 , 汤姆·赫肖维茨 :
字符串图中的对齐序列:两种并发游戏语义方法的比较。 10:1-10:16 塞巴斯蒂安·恩奎斯特 , Yde Venema公司 :
析取基:模态逻辑的范式。 11:1-11:16 布伦丹·方 , 法比奥·扎纳西 :
(共同)关系的通用结构。 12:1-12:16 威廉·约翰·高尔斯 , 詹姆斯·莱尔德 :
序列范畴和超有限游戏:游戏语义学中状态对象的一种联合方法。 13:1-13:17 托马斯·雅克 , 阿奇姆·荣格 :
d-框架的自由构造和余积。 14:1-14:15 亚历山大·克纳普 , 蒂尔·莫萨科夫斯基 :
UML交互与状态机相遇——一种制度方法。 15:1-15:15 哈拉尔德·科尼格 , 乌韦·沃尔特 :
在Presheaf Topoi担任Van Kampen是一项独特的财产。 16:1-16:15 丹·马斯登 , 法布里齐奥·吉诺维斯 :
通过广义关系自定义超图类别。 17:1-17:16 斯特凡·米利乌斯 :
真函数及其有理不动点。 18:1-18:16 大卫·雷特 , 杰米·维卡里 :
量子网络的经典群体模型。 19:1-19:18 大卫·雷特 , 杰米·维卡里 :
构建量子结构的两类方法。 20:1-20:20 法特梅赫·赛凡 , 卢茨·施罗德 , 德克·帕丁森 :
余代数模态逻辑中的均匀插值。 21:1-21:16 安娜·索科洛娃 , 哈拉尔德·沃切克 :
分布凸集中的终止。 22:1-22:16 大卫·斯普伦格 , 劳伦斯·莫斯 :
行为等效逻辑的先同余和参数化共扼。 23:1-23:15 亨宁·乌尔巴特 :
有限行为与金融担保。 24:1-24:16 肯塔·乔 , 雅各布施 :
概率计算的EfProb库。 25:1-25:8