《理论计算机科学》第21卷
1982年第21卷
蒂莫西·J·朗 以下为:
强非确定性多项式时间约简。 1-25 宫野佐治 以下为:
双向确定性多峰计数器。 27-37 帕沃尔·杜利斯 , 兹维·郭历理 以下为:
愚弄一个双向自动售货机或一个下推式商店总比一个双向售货机柜台好。 39-53 德克·詹森 , 格列泽戈兹·罗森伯格(Grzegorz Rozenberg) 以下为:
带邻域控制嵌入的图形语法。 55-74 安德烈·埃伦菲赫特 , 格列泽戈兹·罗森伯格(Grzegorz Rozenberg) 以下为:
使用DOS语言的表示定理。 75-90 罗伯特·科里 , 安东尼奥·马基 以下为:
具有指定自同构群的映射的构造。 91-98 泽维尔·贝伦盖尔 , 约塞普·迪亚斯 , 劳伦斯·哈珀 以下为:
Sperner-Erdös问题的解决方案。 99-103 莱斯利·M·戈德施拉格 , 拉尔夫·A·肖 , 约翰·斯塔普斯 以下为:
最大流量问题是P的日志空间已完成。 105-111 安德烈·埃伦菲赫特 , 朱哈尼·卡胡马基 , 格列泽戈兹·罗森伯格 以下为:
含有两个单词列表的(广义)后对应问题是可判定的。 119-144 迈克尔·路易斯 以下为:
多维图灵机之间的仿真。 145-161 沃纳·艾因亨 以下为:
奇妙的解释与EOL形式的普通解释差别不大,但有决定性的区别。 163-178 Bogdan S.Chlebus公司 以下为:
程序命题逻辑中可满足性的计算复杂性。 179-212 英戈·韦格纳 以下为:
单调复杂度为n2/log n的布尔函数。 213-224 斯图亚特·马戈利斯 以下为:
有限双前缀码生成的语言的句法变换半群。 225-230 L.Csirmaz公司 以下为:
Peano公理上程序等价性的确定性。 231-235 博克哈德·莫尼恩 , 伊万·哈尔·苏德伯勒 以下为:
从使用小于对数工作带空间的图灵机中消除不确定性。 237-253 克莱门特·肯特 , 伯纳德·霍奇森 以下为:
NP的算术特征。 255-267 简·A·伯格斯特拉 , 约翰·朱尔斯·查·梅耶 以下为:
算法逻辑片段中迭代量词的消除。 269-279 克劳斯标志 以下为:
关于无秩完备代数中的有理定义。 281-313 约泽夫·温考斯基 以下为:
系统行为的代数描述。 315-340 索林·伊斯特拉尔 以下为:
关于非代数粘附的一些注记。 341-349 彼得·库尔卡 以下为:
遍及世界的语言。 351-355 汤姆·黑德 , 约翰·威尔金森 以下为:
有限DOL语言和代码。 357-361