《理论计算机科学》第43卷
1986年第43卷
Jerzy W.Grzymala-Busse公司 , 扎米尔·巴维尔 :
状态无关自动机的特征。 1-10 阿诺德·施尤因 :
剩余环上线性自动机的移位寄存器分解。 11-30 克里斯蒂安·朗塞 :
细化的拓扑特征。 31-41 莱斯利·M·戈德施拉格 , 伊恩·帕贝里 :
从布尔函数的各种基构造并行计算机。 43-58 罗曼·雷齐约夫斯基 :
无限字语言和连续映射。 59-79 埃瓦·奥洛夫斯卡 :
归纳推理的语义分析。 81-89 乔治·汉塞尔 :
Une Démonstration Simple du Te orème de Skolem-Mahler-Lech。 91-98 彼得·克洛特 :
关于Petri网的有限包含问题。 99-105 彼得·林赛 :
交替型和欧米伽型图灵接收器。 107-115 迈克尔·H·阿尔伯特 , 约翰·劳伦斯 :
有限替换的测试集。 117-122 鲁道夫·伯哈默 , 汉斯·齐勒 :
确定性和非确定性程序的关系代数语义。 123-147 简·海林 :
代数规格说明的部分求值和欧米伽完备。 149-167 马克·杰拉姆 , 莱斯利·瓦利安特 , 维杰·瓦齐拉尼 :
从均匀分布随机生成组合结构。 169-188 弗朗索瓦·法格斯 , 杰拉德·P·休特 :
等式理论中的完全一致集和匹配集。 189-200 英戈·韦格纳 :
有关切片函数复杂性的更多信息。 201-211 里萨德·贾尼基 , 彼得·劳尔 , 库特尼 , 雷蒙德·R·德维尔斯 :
非序列系统的并发和最大并发演化。 213-238 加德·兰道 , 乌兹·维什金 :
具有k个不匹配项的高效字符串匹配。 239-249 阿娜·帕兹托 , 理查德·斯塔特曼 :
斯科特归纳和奥米加总结。 251-263 阿尔多·德·卢卡 , 安东尼奥·雷斯蒂沃 :
无星整数集。 265-275 铃木一郎 , Y.Motohashi先生 , 谷口健一 , 塔道·卡萨米 , 冈本达辅 :
带欧米伽扩展正则表达式的分散菊花链仲裁器的规范和验证。 277-291 杰里·阿达梅克 , 简·雷特曼 , 伊芙琳·纳尔逊 :
连续半格。 293-313 艾哈迈德·索乌迪 :
Variés d’Automates Descendants d’Arbres Infinis公司。 315-335 基思·爱德华兹 :
稠密图上着色问题的复杂性。 337-343 唐纳德·约翰逊 :
线性比较排序的时空权衡的简单证明。 345-350