《理论计算机科学》第139卷
第139卷,编号1和2,1995年3月6日
伊恩·霍德金森 :
关于Gabbay的时间不动点算子。 1-25 彼得·帕平豪斯 :
论统一的逻辑。 27-67 J.罗宾B.科克特 , 德怀特·斯宾塞 :
强分类数据类型II:分类编程的术语逻辑。 69-113 巴尔 :
非对称*-自治类别。 115-130 乔治·盖利 :
F<类型检查的分歧。 131-162 安妮·贝杰伦 :
在分布式进程中共享控制。 163-186 帕斯奎尔·马拉卡里亚 :
用代数工具研究过渡系统的等价性。 187-205 丹尼尔·道尔蒂 , 帕特里夏·约翰 :
高阶E-Unification的组合逻辑方法。 207-242 伊安尼斯·莫肖瓦基斯 :
可计算并发过程。 243-273 吉尔斯·贝诺 , 米歇尔·比多特 , 特奥多尔·科纳皮克 :
观测规范和不可分辨性假设。 275-314 保拉·因弗拉迪 , 莫妮卡·内西 :
通过改写确定有限状态CCS表达式的观测一致性。 315-354 安德烈亚斯·魏尔曼 :
术语重写系统的词法路径排序终止证明意味着递归导数长度的乘积。 355-362