《理论计算机科学》第94卷
1992年第94卷第1期
乌韦·沃尔德曼 :
订单分类规范的语义。 1-35 弗朗索瓦·拉马克 :
数量域和无穷代数。 37-62 伊万·菲利彭科 , F.洛克伍德莫里斯 :
逻辑编程领域。 63-99 文森佐·曼卡 , 安东尼诺·萨利布拉 :
具有可能空载体集的多排序代数的Birkhoff方程演算的稳健性和完备性。 101-124 保罗·卡斯皮 :
数据流语言中的时钟。 125-140 库特尼 :
COSY路径程序的充分保留转换。 141-158
1992年第2期第94卷
Jean-Paul Allouche牛仔裤 , 帕特里克·莫顿 , 杰弗里·沙利特 :
模式谱、子串枚举和自动序列。 161-174 劳伦特·巴拉查特 , 马丁·奥利维 , 弗兰克·维伦斯基 :
关于实Hardy空间H2中的一个有理逼近问题。 175-197 帕特里克·德霍诺伊 :
mots de dans les gerbes libres问题。 199-213 塞巴斯蒂安·费伦齐 :
平铺莫尔斯序列。 215-221 克里斯蒂安·弗劳格尼 :
系统除数线性和Theta表示。 223-236 迪迪埃·加尔米奇 :
建构型理论中的程序开发。 237-259 丹尼尔·加迪 :
分析组合时的方法限制。 261-280 伯纳赫德·吉尔 :
通用逻辑程序的完整扩展。 281-294 吉尔斯·拉乔德 :
Artin-Schreier曲线、指数和和编码理论。 295-310 多米尼克·梅里 :
作为并发程序开发系统的N U系统:delta N U。 311-334 米歇尔·帕里格特 :
带证明的递归编程。 335-336 多米尼克·佩林 :
关于正矩阵。 357-366 安东尼奥·雷斯蒂沃 :
关于更新系统的注释。 367-371 志雄文 , 知英文 :
关于(p,q)型序列的一些研究。 373-393