《理论计算机科学》第83卷
1991年第83卷第1期
瓦尔·坦宁 , 让·盖利尔 :
多态重写保持代数强规范化。 3-28 费利斯·卡多内 :
有趣的递归类型。 29-56 洛伊克·科尔森 :
关于基本递归算法。 57-69 纳丘姆·德肖维茨 , 圣卡普兰 , 大卫·A·普莱斯特 :
重写,重写,重写。 71-96 佐哈尔·曼纳 , 阿米尔·普努利 :
完成时间图片。 91-130 弗朗西斯科·帕里西(Francesco Parisi-Prescce) :
模块化系统基于规则设计的基础。 131-155 格林·温斯克 :
关于模态nu-Calculus模型检验的注记。 157-167
第83卷第2期,1991年
霍斯特·勒克哈特 :
新的形式不可判定命题:证明复杂性的非平凡下限及相关定理。 169-188 大卫·莫罗 :
上下文无关语法的派生线性系统。 189-203 马丁·德波尔 , 阿里斯蒂德·林登梅尔 , Zsolt Tuza公司 :
D0L系统无法生成的周期分割模式。 205-218 萨拉赫·拉巴哈拉 :
Nombre Réel en分数计算复杂性继续。 219-235 Shigeko Seki先生 , Youichi Kobuchi先生 :
关于标准局部关联L格式。 237-248 伊曼纽拉·法希尼 , 安德烈亚·马吉奥洛·谢蒂尼 , 乔瓦尼·雷斯塔 , 戴维德·桑吉奥吉 :
二叉收缩树自动机接受的语言类的不可接受性准则和闭包属性。 249-260 格哈德·库斯特 :
形式幂级数和自动机的Hurwitz积。 261-273 尤西·阿扎尔 :
多顺序列表的并行比较合并。 275-285 苏哈迈·昆都 :
正则语言中关于字母表偏序的最小字符串。 287-300 乔尔·科恩·切斯诺 :
时间逻辑对无限词的表达能力。 301-312 A.Hemachandra巷 , Gerd Wechsung先生 :
复杂类的Kolmogorov特征。 313-322 安德烈·沃德齐米尔兹·莫斯托夫斯基(Andrzej Wlodzimierz Mostowski) :
弱自动机和弱一元公式的层次结构。 323-335 渡边修(Osamu Watanabe) :
关于p-同构猜想。 337-343