1969年第1次STOC:美国加利福尼亚州玛丽娜·德尔雷伊
帕特里克·菲舍尔 , 西莫·金斯堡 , 迈克尔·哈里森 :
1969年5月5日至7日在美国加利福尼亚州玛丽娜·德尔雷伊举行的第一届ACM计算理论年度研讨会论文集。 ACM公司 1969 P.斯坦利·彼得斯。 , 罗伯特·W·里奇 :
上下文敏感的即时成分分析——重温上下文无关语言。 1-8 吉恩·罗斯 :
处理器抽象系列。 9-14 罗纳德·V·布克 , 希拉·格雷巴赫 :
准实时语言-扩展抽象。 15-18 约瑟夫·乌利安 :
上下文无关语言的固有歧义部分算法问题。 19-20 W.J.钱德勒 :
确定性语言的抽象族。 21-30 威廉·奥格登 :
堆栈语言的插入定理。 31-42 曼纽尔·布卢姆 :
关于加速算法的有效程序。 43-53 萨纳特·K·巴苏 :
关于可计算函数类。 55-59 唐纳德·洛夫兰 :
最小程序复杂性度量。 61-65 阿伦·博罗丁 :
递归函数的复杂性类与复杂性间隙的存在性。 STOC公司 1969 : 67-78 爱德华·麦克里特 , 阿尔伯特·梅耶 :
计算边界定义的可计算函数类:初步报告。 79-88 保罗·R·杨 :
通过更改集合枚举的顺序来加速(初步版本)。 89-92 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
基于上下文无关语法的翻译。 93-112 彼得·约翰森 :
自由组和正则表达式。 113-128 詹姆斯·撒切尔 :
从广义有限自动机理论的角度看变换和翻译。 129-142 威廉·C·朗兹 :
树上的上下文无关语法。 143-148 加博·T·赫尔曼 , 斯蒂芬·伊萨德 :
任意字段上的可计算性。 149-153 C.D.谢泼德 :
普通代数语言。 155-163 丹尼尔·罗森克兰茨 , 理查德·埃德温·斯特恩斯 :
确定性自顶向下语法的属性。 165-180 迈克尔·菲舍尔 :
优先语言的一些性质。 181-190 A.J.科伦贾克 :
高效LR(1)处理器结构。 191-200 佐哈尔·曼纳 , 阿米尔·普努利 :
递归定义函数属性的形式化。 201-210 H.保罗·泽格尔 :
编程语言某些特性的形式化模型。 211-215 爱德华·K·布鲁姆 :
面向编程语言的语义和编译器理论。 217-227 史提芬·古克 :
下推式机器的变体(详细摘要)。 229-231 斯蒂芬·科尔 :
下推存储机器和实时计算。 233-245 沃尔特·J·萨维奇 :
非确定性图灵机的确定性仿真(详细摘要)。 247-248 路易斯·霍德斯 :
平面几何性质的逻辑复杂性。 249-254 阿尔吉达斯·阿维齐尼斯 :
关于算术函数的计算时间和复杂性问题。 255-258 塞拉菲诺·阿莫罗佐 , 爱德华·利伯林 , 山田久雄 :
机器迭代数组理论的统一框架。 259-269 菲利普·斯皮拉 :
关于某些布尔函数类的计算时间。 271-272