《理论计算机科学》第65卷
1989年第65卷第1期
帕特里斯·恩贾伯特 , 路易斯·法利尼亚斯·德尔·塞罗 :
小句形式的模态分解。 1-33 马丁·阿巴迪 :
时间证明的力量。 35-83 萨蒂什·R·撒切尔 :
等式语言中的完全抽象和限制完整性。 85-119
1989年第2期第65卷
Jean-Paul Allouche牛仔裤 :
关于有理函数序列。 123-130 弗朗索瓦·布兰查德 :
β-扩张与符号动力学。 131-141 诺埃尔·布鲁岑·格纳莱克 :
实时构造序列的一种可能分类。 143-148 F.米歇尔·德金 :
随机标记树的标记子树的发生概率。 149-152 Jean-Marie Dumont女士 , 阿兰·托马斯 :
计数和函数系统分形关系辅助替换。 153-169 乔治·汉塞尔 , 多米尼克·佩林 :
理性概率度量。 171-188 彼得·海列卡拉克 , 格哈德·拉彻 :
关于非理性旋转上的Weyl和和与斜积。 189-196 科尔·克拉伊坎普 :
Minkowski对角连分式的统计和遍历性质。 197-212 米歇尔·门德斯法国 , 阿尔弗雷德·范德普滕 :
从几何到欧拉恒等式。 213-220 菲利波偏头痛 :
具有线性子词复杂性的无限词。 221-242 森木诚(Makoto Mori) :
关于分段线性变换的Fredholm行列式。 243-248 碧姬·莫塞 :
一些算术序列的q-Adic谱分析。 249-263 安东尼奥·雷斯蒂沃 :
有限生成的沙发系统。 265-270
1989年第65卷第3期
横口博文 :
范畴组合子上重写系统的Church-Rosser定理。 271-290 泰瑞斯·哈丁 :
纯强范畴逻辑CCL的汇流结果:作为CCL子系统的lambda-Calculi。 291-342 约翰·谢泼德森 :
否定作为失败的一个版本的健全和完整的语义。 343-371
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)