缺少摘要。
- 代数效应与处理的效应系统安德烈·鲍尔,马蒂亚·普雷特纳。1-16 [美国国防部]
- 无限词和树的自动机和代数米科拉伊·博扬奇克。17-18 [美国国防部]
- 正归纳递归定义尼尔·加尼,洛伦佐·马拉特斯塔,弗雷德里克·诺德瓦尔·福斯伯格。19-33 [美国国防部]
- Coalgebraic Up-to技术达米安·普斯。34-35 [美国国防部]
- 利用代数定律改进机械化公理化卢卡·埃特罗,尤金-伊安-戈尔亚克,Anna Ingólfsdóttir女士,穆罕默德·雷扎·穆萨维,米歇尔·雷尼尔斯。36-50 [美国国防部]
- 余代数逻辑的正片段阿德里亚娜·巴兰,亚历山大·库兹,吉里·韦利比尔。51-65 [美国国防部]
- 多值关系提升与Moss的余代数逻辑马尔塔·比尔科娃,马特杰·多斯塔尔。66-79 [美国国防部]
- 协同逻辑程序设计中的饱和语义菲利波·邦奇,法比奥·扎纳西。80-94 [美国国防部]
- 提出分配法马塞洛·M·邦桑格,海尔·维德·汉森,亚历山大·库兹,侏罗纪腐朽。95-109 [美国国防部]
- 交互与观察：通过Diagebras的反应系统的范畴语义文森佐·西安西亚。110-125 [美国国防部]
- 谓词提升的余代数同态塞巴斯蒂安·恩奎斯特。126-140 [美国国防部]
- 从Kleisli范畴到交换C*-代数：概率Gelfand对偶罗伯特·福伯,雅各布施。141-157 [美国国防部]
- 通过泛型观察追踪语义谢尔盖·冈查洛夫。158-174 [美国国防部]
- CCS中公平测试的完整抽象汤姆·赫肖维茨。175-190 [美国国防部]
- 上报合理性的简单案例皮埃尔·莱斯坎。191-204 [美国国防部]
- 对称余代数与量子系统建模丹尼尔·马斯登。205-219 [美国国防部]
- 从运算Chu对偶性到余代数量子对称性丸山义弘。220-235 [美国国防部]
- 无干扰调度器-当可能性无干扰意味着概率无干扰时安德烈·波佩斯库0001,约翰内斯·霍尔兹尔,托比亚斯·尼普科。236-252 [美国国防部]
- 协同模态逻辑的仿真与互仿真丹尼尔·戈林,卢茨·施罗德。253-266 [美国国防部]
- ε-跃迁的共代数视图亚历山德拉·席尔瓦,布拉姆·韦斯特班。267-281 [美国国防部]
- 网络、关系和链接图帕维尔·索博辛斯基。282-298 [美国国防部]
- 服务的逻辑编程语义Ionut Tutu公司,何塞·路易斯·菲亚德罗。299-313 [美国国防部]
- CALCO-Tools前言卢茨·施罗德。314 [美国国防部]
- 用Hets检查保守性Mihai Codescu公司,蒂尔·莫萨科夫斯基,克里斯蒂安·梅德。315至321 [美国国防部]
- HI-Maude工具穆罕默德·法德利西亚,彼得·塞巴·奥尔夫茨基。322-327 [美国国防部]
- 基于构造函数的归纳定理证明程序丹尼尔·盖因,闵章0002,Yuki千叶,有本安仁。328-333 [美国国防部]
- 用于实时建模的定时CTL模型检查器丹妮拉·莱普里,埃里卡·阿布拉哈姆,彼得·塞巴·奥尔夫茨基。334-339 [美国国防部]
- 工作中的杂交雷纳托·内维斯,亚历山大·马德拉,曼努埃尔·A·马丁斯,路易斯·索尔斯·巴博萨。340-345 [美国国防部]
- 彭罗斯：为Petri网可及性发挥组成作用帕维尔·索博辛斯基,欧文·斯蒂芬斯。346-352 [美国国防部]
- QStream：一组流乔斯特·温特。353-358 [美国国防部]