《理论计算机科学》第64卷
1989年第64卷第1期
汉斯·约格·斯托 :
关于有界复杂度有理函数的表示。 1-13 汉斯·约格·斯托 :
多项式复杂性的下限。 15-23 K.Jojczyk(约杰奇克) , J.科尼奇尼 , T.库扎克 :
关于PT-Net的交织行为。 25-38 丰田裕二 , Kazushi Seino公司 :
用于检查两个确定性下推传感器等效性的直接分支算法,其中一个是实时严格的。 39-53 佐藤裕久 :
E-CCC:在CCC和Topos之间。 55-66 当文雄(Dang Van Hung) , 埃尔德克努特 :
半交换和Petri网。 67-81 埃利·沙米尔 , 阿萨夫·舒斯特 :
基于几何关联关系的网络通信方面。 83-96 J.罗杰·辛德利 :
BCK-Combinator和Linear lambda-Terms具有类型。 97-105 兹维·郭历理 , 拉斐尔·吉安卡洛 :
加速动态程序设计及其在分子生物学中的应用。 107-118 马尔科·普罗塔西 , 毛里齐奥·塔拉莫 :
关于求斐波那契数的算术运算数。 119-124 以法莲·科拉赫 , 什洛莫·莫兰 , Shmuel Zaks公司 :
完整处理器网络中某些分布式算法的最优下界。 125-132
1989年第64卷第2期
克莱德·克鲁斯卡尔 , 其发言人拉利 , 史尼亚 :
稀疏矩阵的并行操作技术。 135-157 伊维斯·罗勃特 , 丹尼斯·特雷斯特拉姆 :
并行高斯消去的最优调度算法。 159-173 戈登·里昂 :
并行处理基准的设计因素。 175-189 Jean-Claude Bermond女士 , Jean-Michel Fourneau女士 :
独立连接:基线等效多级互连网络的简单表征。 191-201 伊恩·阿基尔迪斯 , 霍斯特·冯·布兰德 :
具有拒绝阻塞的开放、封闭和混合排队网络的精确解。 203-219
1989年第64卷第3期
尤金·W·斯塔克 :
并行过渡系统。 221-269 丹尼斯·塞利安 :
非周期单体上的程序。 271-280 安东尼·马祖尔基维奇 , 爱德华·奥赫曼斯基 , Wojciech Penczek公司 :
并发系统和必然性。 281-304 罗德尼·R·豪厄尔 , 路易斯·罗西尔 :
无冲突Petri网的公平性和时序逻辑问题。 305-329 诺加·艾伦 , 乌里·兹威克 :
关于分支程序的Neciporuk定理。 331-342 汉斯·克莱恩·勃宁 , 西奥多·莱特曼 , 恩斯特·迈尔 :
向量加法系统可达集的投影是半线性的。 343-350