《理论计算机科学》第36卷
第36卷,1985年
曼弗雷德·布罗伊 :
关于非确定性计算的Herbrand-Kleene宇宙。 1-19 乔斯特·恩格弗里特 :
确定性-(观察等效性=痕迹等效性)。 21-25 里萨德·贾尼基 :
将顺序系统转换为并发系统。 27-58 诺伯特·布鲁姆 :
n次卷积单调网络复杂度的Omega(n-4/3)下界。 59-69 迈克尔·蒂姆金 , 约翰·马科斯基 :
带有局部赋值的命题动态逻辑。 71-87 吉希德·伊加拉西(Yoshihide Igarashi) :
实时确定性上下文无关语言的泵引理。 89-97 克莱莉亚·德·费利塞 :
建筑规范工厂。 99-108 Sadaki Hirose先生 , Masaaki Yoneda公司 :
论乔姆斯基和斯坦利对无语境语言的同态刻画。 109-112 凯霍·鲁霍宁 :
正则语言多重集的相等性。 113-117 布鲁诺·斯卡佩里尼 :
通过对角化获得的复杂布尔网络。 119-125 格林·温斯克 :
关于Powerdomains和Modality。 127-137 诺曼·芬顿 , 罗宾·W·惠蒂 , A.A.卡波西 :
结构化程序设计的广义数学理论。 145-171 伊万·哈尔·苏德伯勒 , 埃莫·韦尔兹尔 :
链码图像语言的复杂性和可决定性。 173-202 杰里·德梅尔 , 玛丽·德姆洛娃 , 瓦克拉夫·库贝克 :
在有限代数中构造极小子代数、同余和理想的快速算法。 203-216 迈克尔·卡明斯基 :
欧米伽正则语言的分类。 217-229 埃里克·阿伦德 , 玛丽亚·M·克拉维 :
改进了循环检测问题的下限。 231-237 罗纳德·费金 , 玛丽亚·M·克拉维 , 尼古拉斯·皮彭格 , 拉里·斯托克梅耶 :
对称函数的有界深度多项式尺寸电路。 239-250 路易斯·法利尼亚斯·德尔·塞罗 , 埃瓦·奥洛夫斯卡 :
DAL-数据分析逻辑。 251-264 马克·杰拉姆 :
寻找最小长度生成器序列的复杂性。 265-289 松野浩史 , 井上胜寿 , 谷口浩 , Itsuo Takanami公司 :
交替简单多头有限自动机。 291-308 沃尔特·凯勒·盖里格 :
特征多项式的快速算法。 309-317 Krzysztof堤防 :
二叉树在行中的嵌入。 319-331 赫尔穆特Alt :
乘法是最简单的非平凡算术函数。 333-339 沃伊切赫·莱特 , 马雷克·克罗巴克 :
可逆有界多按钮机器语言的特征。 341-344 格雷厄姆·法尔 , 科林·麦克迪亚米德 :
计算同系物的复杂性。 345-348