第18届FOCS 1977：美国罗德岛州普罗维登斯
1977年10月31日至11月1日在美国罗德岛州普罗维登斯举行的第18届计算机科学基础年度研讨会。 IEEE计算机学会 1977
第一次会议
理查德·利普顿 :
Hoare逻辑存在的充要条件。 1-6 丹尼尔·莱曼 , 迈克尔·B·史密斯 :
数据类型（扩展抽象）。 7-12 迈克尔·B·史密斯 , 戈登·普洛金 :
递归域方程的范畴论解（扩展摘要）。 13-17 埃德蒙·克拉克 :
将不变量编程为固定点（初步报告）。 18-29 杰拉德·P·休特 :
合流约简：抽象属性及其在术语重写系统中的应用。 30-45 阿米尔·普努利 :
程序的时间逻辑。 46-57
第二次会议
罗纳德·V·书 :
语言表示定理：如何从正则集生成R.E.集。 58-61 哈里·刘易斯 :
一个新的可判定问题及其应用（扩展抽象）。 62-73 奥斯卡·H·伊瓦拉 :
具有一元输入（输出）字母集的无εNGSM等价问题的不可解性及其应用。 74-81 霍华德·P·卡瑟夫 , 迈克尔·西普塞 :
程序大小复杂性的几个结果。 82-89 理查德·斯塔特曼 :
类型化的lambda-Calculus不是初等递归。 90-94 伦纳德·伯曼 :
普雷斯伯格算法和加法实数的精确界限：初步报告。 95-99 维克托·本尼森 , 罗伯特·索尔 :
复杂性理论性质的递归理论表征。 100-106
第三次会议
阿尔弗雷德·阿霍 , 卡特里尔·比里 , 杰弗里·D·厄尔曼 :
关系数据库中的连接理论（扩展抽象）。 107-113 格雷格·纳尔逊 , 德里克·奥本 :
基于并集和查找的快速决策算法。 114-119 H.T.Kung（香港） , S.W.宋 :
一种高效的并行垃圾收集系统及其正确性证明。 120-131 大卫·梅尔 :
求解最小公祖先问题的空间有效方法及其在求负循环中的应用。 132-141 劳伦斯·斯奈德 :
关于唯一表示的数据结构（扩展抽象）。 142-146 曼纽尔·布卢姆 , 威廉·萨科达 :
有限自动机在二维和三维空间中的能力。 147-161
第四次会议
理查德·利普顿 , 塔扬 :
平面分离器定理的应用。 162-170 劳伦特·海菲尔 :
交换性的力量。 171-174 伦纳德·阿德曼 , 肯尼思·曼德斯 , 加里·米勒 :
关于在有限域中生根。 175-178 兹维·郭历理 , 乔尔·塞菲亚斯 :
在快速字符串匹配中节省空间。 179-188 列奥尼达斯·吉巴斯 , 安德鲁·M·奥德里兹科 :
Boyer-Moore字符串搜索算法线性度的新证明。 189-195 菲利普·弗拉乔莱 , 让-克洛德·拉乌尔 , 让·维莱明 :
计算算术表达式所需的平均寄存器数。 196-205
第五次会议
尤金·劳勒 :
背包问题的快速近似算法。 206-213 小爱德华·G·考夫曼。 , 约瑟夫·梁朝伟 :
处理器和存储分配高效算法的组合分析。 214-221 姚期智 :
概率计算：走向复杂性的统一度量（扩展抽象）。 222年至227年 埃罗尔·劳埃德 :
关于平面上一组点的三角剖分。 228-240 大卫·A·普莱斯特 :
新的NP-硬和NP-完全多项式和整数可除性问题。 241-253年 德克斯特·科赞 :
自然证明系统的下限。 254-266
