《理论计算机科学》第66卷
1989年第66卷第1期
托马斯·莱姆库尔 , 托马斯·利克泰格 :
张量近似三分分解中的逼近阶。 1-14 保罗·E·S·邓恩 :
非单调网络的单调模拟。 15-25 阿道夫·皮佩诺 :
组合逻辑中的抽象问题——合成方法。 27-43 贾科·卡里 :
关于基于迭代形态的公钥密码系统的观察。 45-53 张罗欣 :
判定正则Church-Rosser-Tue系统所表示的单体是否为群的有效算法。 55-63 阿克郡里克斯 :
关于LC(0)语法和语言。 65-85 阿拉斯代尔·厄克哈特 :
命题逻辑Gentzen系统的复杂性。 87-97 理查德·斯塔特曼 :
关于组合方程的解集。 99-104 安德烈·佩尔克 :
弱自适应比较搜索。 105-111 丹尼尔·蒙迪奇 :
由无重复变量的单调布尔公式计算的函数。 113-114
1989年第2期第66卷
沃尔克·迪克特 :
关于并发过程的Knuth-Bendix完备。 117-136 马丁·迪兹费尔宾格 :
总和排序的下限。 137-155 赫伯特·埃德尔斯布伦纳 , Günter Rote公司 , 埃莫·韦尔兹尔 :
测试最短行程的项链条件和平面上的最佳因素。 157-180 克里斯托斯·列夫科普洛斯 , 安德烈·林加斯 , Jörg-Rüdiger袋 :
最优二叉搜索树和最小权重三角剖分问题的启发式算法。 181-203 M.A.奈特·阿卜杜拉 :
知识模型理论的逻辑代数方法。 205-232
1989年第66卷第3期
帕斯卡·韦尔 :
点深二的反幺半群。 233-245 山崎秀树 :
语言——欧米伽语的理论表征。 247-254 达娜·安格鲁因 , 威廉·加萨奇 , 卡尔·H·史密斯 :
培训顺序。 255-272 伊藤 彰 , 井上胜寿 , Itsuo Takanami公司 :
确定性二维在线镶嵌接受器等价于通过180°旋转的双向二维交替有限自动机。 273-287 G.贾科皮尼 , 帕特里齐亚·曼特拉斯蒂 :
生成可逆函数。 289-297 约翰·马科斯基 , 伊尔迪克·塞恩 :
各种程序验证系统的弱二阶特征。 299-321 穆罕默德·梅兹吉奇 :
组合逻辑中的伪c-贝塔范式。 323-331 迈克尔·蒂姆金 :
概率终止与公平终止。 333-340 朱哈·本卡拉 :
正则语言Zeta函数合理性的必要条件。 341-347