理论计算机科学,第57卷
1988年第57卷
曼弗雷德·布罗伊 :
部分高阶代数的方程规范。 3-45 奥斯卡·H·伊巴拉 , 迈克尔·巴利斯 :
二维迭代阵列:特征和应用。 47-86 法里德·阿布利耶夫 :
孤立割点概率自动机的复杂性。 87-95 尤拉吉·赫龙科维奇(Juraj Hromkovic) :
定义超大规模集成电路通信复杂性的新方法的优势。 91-111 斯塔西斯·朱克纳 :
接触电路的熵及其复杂性的下界。 113-129 乔玛·塔尔希奥 , 埃斯科·乌科宁 :
构造最短公共超弦的贪婪近似算法。 131-145 沃纳·库伊奇 :
矩阵系统与代数幂级数的主锥。 147-152 瓦迪斯拉夫·斯卡贝克 :
生成有序树。 153-159 阿诺·阿夫伦 :
线性逻辑的语义和证明理论。 161-184 劳伦特·皮埃尔 , 让-马克·法里诺内 :
exp Theta(p root n)和n^(Theta((ln n)^(1/p))中上下文无关语言的有理索引。 185-204 尤里·维利诺夫 :
重写系统中导数的代数结构。 205-224 奥斯卡·H·伊巴拉 , 陶江 :
将蜂窝阵列的功率与其闭合特性联系起来。 225-238 杰拉德·杜尚 , Jean-Yves Thibon公司 :
Polynomes Partiellement Commutatifs的转移定理。 239-249 约翰·朱尔斯·查·梅耶 , 埃里克·德文克 :
紧致性在流的Smyth功率域中的应用。 251-282 玛丽·皮埃尔·贝亚尔 :
代码循环,自动化Locox和Entropie。 283-302 桥口小三郎 :
关于有理语言的同余关系和因子泵条件的注释。 303-316 安德烈·萨拉斯 , 莱泽克·霍伦德斯基 :
具有Until.的一阶时间逻辑的不完全性。 317-325 杰罗尔德·W·格罗斯曼 , R.苏珊·泽特曼 :
阿克曼函数的内在迭代计算。 327-330