1986年第1届LICS:马萨诸塞州剑桥
-
1986年6月16日至18日,美国马萨诸塞州剑桥市,计算机科学逻辑研讨会论文集(LICS’86)。 IEEE计算机学会 1986 ,国际标准图书编号 0-8186-0720-3
受邀演讲
约翰·艾伦·罗宾逊 :
在简化设置中合并函数式与关系编程(特邀讲座摘要)。 低收入国家 1986 : 2
第1部分
拉兹洛·西尔马 , 布拉德·哈特 :
有限域上的程序正确性。 低收入国家 1986 : 4-10 史蒂文·M·德文 , 埃德蒙·克拉克 , 约瑟夫·哈珀(Joseph Y.Halpern) :
L4语言公理系统的真正相对完整性(简略)。 低收入国家 1986 : 11-25 本特·琼森 , 佐哈尔·曼纳 , 理查德·沃尔丁格 :
数据流网络的演绎综合。 低收入国家 1986 : 26-37 威廉·C·罗兹 , 罗伯特·T·卡斯珀 :
表示语言信息的记录结构的完整逻辑微积分。 低收入国家 1986 : 38-43 阿尔伯特·梅耶 :
Floyd-Hoare逻辑定义语义:初步版本。 低收入国家 1986 : 44-48
第2部分
伦纳特·贝克曼 , 鲁恩·古斯塔夫森 , 安妮卡·沃恩 :
逻辑程序并行执行的代数模型。 低收入国家 1986 : 50-57 斯蒂芬·布鲁克斯 :
CSP中基于语义的部分正确性和死锁证明系统。 低收入国家 1986 : 58-65 路易斯·蒙泰罗 , 费尔南多·C·N·佩雷拉 :
并发的剪切理论模型。 低收入国家 1986 : 66-76 大卫·本森 , Ofer Ben-Shachar公司 :
状态自动机的强互模拟。 低收入国家 1986 : 77-81
第3部分
克里斯汀·莫林 :
构造演算中的算法开发。 低收入国家 1986 : 84-91 约翰·施利普夫 :
一般分界有多难计算? (扩展摘要)。 低收入国家 1986 : 92-95 J.舒尔蒂斯 :
Intuit的设计与实现。 低收入国家 1986 : 96-104 伊恩·梅森 :
一阶LISP程序的等效性。 通过转换证明破坏性程序的属性。 低收入国家 1986 : 105-117
受邀演讲
阿尼尔·尼罗德 :
逻辑学家看专家系统:数学研究领域(特邀讲座摘要)。 低收入国家 1986 : 120
第4次会议
罗伯特·阿马迪奥 , 金·布鲁斯 , 朱塞佩·隆戈 :
二阶Lambda微积分的Finitary投影模型和高阶区域方程的解。 低收入国家 1986 : 122-130 马提亚斯·费莱森 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 布鲁斯·杜巴 :
继续推理。 低收入国家 1986 : 131-141 卡尔·A·冈特 :
最大的一阶可公理化笛卡尔闭域范畴。 低收入国家 1986 : 142-148 约瑟夫·哈珀(Joseph Y.Halpern) , 约翰·威廉姆斯 , 爱德华·L·威默斯 :
FP的良好重写策略。 低收入国家 1986 : 149-162 大卫·A·普莱斯特 :
使用相干关系的非确定性递归程序的表示语义。 低收入国家 1986 : 163-174
第5部分
马丁·阿巴迪 , 佐哈尔·曼纳 :
及时解决。 低收入国家 1986 : 176-186 尚庆周(Shang-Ching Chou) , 海平谷 :
关于闵可夫斯基平面几何中力学定理的证明。 低收入国家 1986 : 187-192 乔尔·德斯佩罗 :
自然语义学翻译证明。 低收入国家 1986 : 193-205 克洛德·基什内尔 :
计算统一算法。 低收入国家 1986 : 206-216
第6部分
马里奥·科波奥 , 玛达莱娜·扎奇 :
类型推理和逻辑关系。 低收入国家 1986 : 218-226 蒂埃里·科昆 :
吉拉德悖论分析。 低收入国家 1986 : 227-236 托德·B·诺布洛克 , 罗伯特·康斯特布尔 :
类型理论中的形式化元推理。 低收入国家 1986 : 237-248 纳克斯·保罗·门德勒 , 普拉卡什·帕南加登 , 罗伯特·康斯特布尔 :
类型理论中的无限对象。 低收入国家 1986 : 249-255
受邀演讲
吉恩·伊夫·吉拉德 :
定量和定性语义学(特邀讲座摘要)。 低收入国家 1986 : 258
第7部分
迈克尔·C·布朗 :
一种利用时间逻辑对有限状态系统进行自动验证的改进算法。 低收入国家 1986 : 260-266 E.艾伦·艾默生 , 金龙雷 :
命题Mu-Calculus(扩展抽象)片段中的有效模型检查。 低收入国家 1986 : 267-278 约瑟夫·哈珀(Joseph Y.Halpern) , 约夫·肖姆 :
时间间隔的命题模型逻辑。 低收入国家 1986 : 279-292 约翰·马科斯基 , 伊尔迪克·塞恩 :
各种程序验证系统中弱二阶和非标准时间语义的等价性。 低收入国家 1986 : 293-300 多米尼克·佩林 , 保罗·舒普 :
整数自动机,递归可分辨性,一元理论的等价性和可判定性。 低收入国家 1986 : 301-304
第8课时
罗尼·罗斯纳 , 阿米尔·普努利 :
斩波逻辑。 低收入国家 1986 : 306-313 罗希特·帕里赫 :
分布式计算知识水平。 低收入国家 1986 : 314-321 阿米尔·普努利 , 勒诺·D·扎克 :
通过Tableaux进行概率验证。 低收入国家 1986 : 322-331 莫舍·瓦尔迪 , 皮埃尔·沃尔珀 :
自动程序验证的自动理论方法(初步报告)。 低收入国家 1986 : 332-344
第9部分
利奥·巴赫迈尔 , 纳丘姆·德肖维茨 , Jieh Xiang先生 :
等式证明的顺序。 低收入国家 1986 : 346-357 Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
无构造函数的等式理论中归纳法的自动证明。 低收入国家 1986 : 358-366 迪帕克·卡普尔 , 大卫·R·穆瑟 :
规范不完整的归纳推理(初步报告)。 低收入国家 1986 : 367-377 理查德·斯塔特曼 :
关于Lambda术语到组合词的翻译; 基础问题。 低收入国家 1986 : 378-382