缺少摘要。
- 可逆通讯过程的统计热力学乔治·巴奇,文森特·达诺斯,奥哈德·卡马尔.1-18 [美国国防部]
- 用导数树分析求解定点方程哈维尔·埃斯帕尔扎,迈克尔·卢滕伯格.19-35 [美国国防部]
- 程序模块的抽象局部推理托马斯·丁斯代尔-杨,菲利普·加德纳,Mark J.驾驶室.36-39 [美国国防部]
- 无限计算、共归纳和计算逻辑戈帕尔·古普塔,内达·赛德洛伊,布莱恩·德弗里斯,理查德·敏,凯尔·马普尔,费利克斯·克鲁兹尼亚克.40-54 [美国国防部]
- 从余序代数到余序单数杰里·阿达梅克,马迪埃·哈达迪,斯特凡·米利乌斯.55-69 [美国国防部]
- 感应定义的范畴语义托尔斯滕·阿滕柯奇,彼得·莫里斯,弗雷德里克·诺德瓦尔·福斯伯格,安东·塞泽尔.70-84 [美国国防部]
- 有限函数：从Set到Preord和Poset阿德里安娜·巴兰,亚历山大·库兹.85-99 [美国国防部]
- Moss余代数逻辑的模型构造乔特·伯格菲尔德,Yde Venema公司.100-114 [美国国防部]
- 前序和前序集上的关系提升马尔塔·比尔科娃,亚历山大·库兹,丹妮拉·佩特里桑,吉里·韦利比尔.115-129 [美国国防部]
- 模型检验线性协同时序逻辑：一种自动机理论方法Corina Cêrstea科瑞纳·科斯特.130-144 [美国国防部]
- 精化树：微积分、工具和应用Mihai Codescu公司,蒂尔·莫萨科夫斯基.145-160 [美国国防部]
- 关于余代数逻辑的融合弗雷德里克·达尔奎斯特,德克·帕丁森.161-175 [美国国防部]
- 指数诱导和共诱导，纤维Clément Fumex公司,尼尔·加尼,帕特里夏·约翰.176-191 [美国国防部]
- 具有И；的标称布尔代数的Stone对偶；默多克·詹姆斯·加巴伊,塔德乌兹·利塔克,丹妮拉·佩特里桑.192-207 [美国国防部]
- 效应可张性的反例谢尔盖·冈查洛夫,卢茨·施罗德.208-221 [美国国防部]
- 基于GSOS的分量演算的微观原理和组成哈朔一郎.222-236 [美国国防部]
- 基作为余代数雅各布施.237-252 [美国国防部]
- 部分观测Mealy自动机监督控制的一种联合算法Jun Kohjina先生,Ushio先生,吉木敬之（Yoshiki Kinoshita）.253-267 [美国国防部]
- 逻辑程序设计中派生词的协同语义叶卡捷琳娜·科门丹茨卡娅,约翰·鲍尔.268-282 [美国国防部]
- 制度的混合曼纽尔·马丁斯,亚历山大·马德拉,拉兹万·迪亚科内斯库,路易斯·索尔斯·巴博萨.283-297 [美国国防部]
- Call-by-Value模型中的线性使用状态拉斯穆斯·埃杰莱斯·莫格伯格,萨姆·斯塔顿.298-313 [美国国防部]
- 重写理论的安全性证明卡米洛·罗查,何塞·梅塞盖尔.314-328 [美国国防部]
- 混代数混合逻辑的广义乘积胜彦三野.329-343 [美国国防部]
- 元胞自动机和基于代理模型的分布律语义Baltasar Trancón-y-Widemann公司,迈克尔·豪斯.344-358 [美国国防部]
- 上下文无关语言，联合盲文Joost Winter公司,马塞洛·M·邦桑格,Jan J.M.M.Rutten先生.359-376 [美国国防部]
- CALCO-Tools前言多雷尔·卢卡努.377 [美国国防部]
- PREG公理化器-带谓词的GSOS的一个基本同调性检查器卢卡·埃特罗,乔治亚娜·卡尔泰斯,尤金-伊安-戈尔亚克,安娜·英格特（Anna Ingó）；lfsdó；温度传感器.378-385 [美国国防部]
- PVeStA：一种并行统计模型检查和定量分析工具穆萨布·阿尔图尔基,乔斯é；梅塞格尔.386-392 [美国国防部]
- Minlog——支持代数和余代数的程序提取工具乌尔里希·伯杰,宫本健二,赫尔穆特·施维滕贝格,莫妮卡·塞森伯格.393-399 [美国国防部]
- Maude正式环境中的工具互操作性弗朗西斯科·杜兰,卡米洛·罗查,何塞·M·阿尔瓦雷斯.400-406 [美国国防部]
- WiCcA:LTS线微积分生成工具詹妮弗·兰泰尔,帕维尔·索博辛斯基.407-412 [美国国防部]
- Shacc：组件微积分的功能原型安德烈·马丁斯,路易斯·索尔斯·巴博萨,努诺·F·罗德里格斯.413-419 [美国国防部]