《理论计算机科学》第93卷
1992年第93卷第1期
A.J.Kfoury公司 , Jerzy Tiuryn公司 , 巴维尔·乌尔兹琴 :
有限和普遍多态递归过程的表达能力。 1-41 Sándor Vágvölgyi :
顶部向下的树传感器,具有双向树行走外观。 43-74 György E.Révész :
满足Church-Rosser定理的lambda-Calculus的列表定向推广。 75-89 彼得·哈里森 , 赫萨姆·科什内维桑 :
一种新的递归删除方法。 91-113 V.S.Subrahmanian公司 :
准一致析取演绎数据库。 115-141 张国强 :
稳定的邻居们。 143-157 安德烈亚斯·戈德 :
无限制分辨率与N分辨率。 159-167
1992年第2期第93卷
皮埃尔·佩拉多 :
Nk的逻辑定义子集。 169-183 Kunihiko Hiraishi先生 , 一川Atsunobu Ichikawa :
Petri网弱持久性和半线性的结构条件。 185-199 盖·卢查德 , B.蓝藻 , 雷内·斯科特 :
D.E.Knuth模型中的动态算法:概率分析。 201-225 保拉·博尼佐尼 , 吉安卡洛·毛里 :
关于无限树上的自动机。 227-244 Zvi M.凯登 , 克里希纳·V·帕勒姆 :
森林和术语匹配的最佳并行算法。 245-264 东田诚司 :
概率多项式时间的限制相对论。 265-277 普拉卡什V.拉马南 :
测试字母树的最优性。 279-301 琼·博亚尔 , 古德蒙德·斯科夫布杰尔·弗兰德森 , 卡尔·斯特里万特 :
阈值电路等效计算的一种算法模型。 303-319 帕特里克·德霍诺伊 :
证明关系无以太性的标准。 321-325 托马斯·赫伯斯特 :
关于无上下文群的一类Fatou性质。 327-331
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)