《理论计算机科学》第180卷
第180卷,编号1-2,1997年6月10日
玛丽娜·马多尼亚 , 斯特凡诺·瓦里奇奥 :
关于理性关系的一些决策问题。 1-15 维克拉曼·阿文德 , N.V.Vinodchandran公司 :
可解决的黑盒群问题对PP来说很低。 17-45 细坂一郎(Kazuhisa Hosaka) , 竹中康彦 , T.金田 , 山岛秀三(Shuzo Yajima) :
表示阈值函数的有序二进制决策图的大小。 47-60 巴西诺餐厅(Frédérique Bassino) :
非负伴随矩阵与星高 N个 -Rational系列。 61-80 艾曼纽尔·加雷尔 :
Séparateurs dans les mots infinis engendréS par morphismes的助手们。 81-113 玛丽-法国Sagot , 阿兰·维亚里 , 亨利·索尔达诺 :
多序列比较-一种肽匹配方法。 115-137 山本弘(Hiroaki Yamamoto) :
带约束的可逆有界交替图灵机上的交替权。 139-154 陈志祥 , 史蒂文·霍默 :
通过查询学习计数函数。 155-168 洪深 , 梁伟发 :
图中所有最小分隔符的有效枚举。 169-180 卡尔·波默朗斯 , 约翰·迈克尔·罗布森 , 杰弗里·O·沙利特 :
自动化II:一元案件中的描述复杂性。 181-201 梁维图 :
无限制修改编辑距离的不确定性。 203-215 迪马·格里戈里耶夫 :
用确定性机器、概率机器和量子机器测试多项式的移位等效性。 217-228 马丁·马塔马拉 :
元胞自动机的替代方案。 229-241 亚历山大·安德列夫 , 安德烈亚·克莱门蒂 , 何塞·D·P·罗利姆 :
布尔函数逼近的最佳界及其应用。 243-268 瓦西里斯·贾库马基斯 , Jean-Marie Vanherpe女士 :
关于扩展P 4 -可约化和扩展P 4 -稀疏图。 269-286 布鲁诺·科德诺蒂 , 比斯瓦N.达塔 , 卡拉比达塔 , 毛罗·莱昂奇尼 :
某些矩阵计算的并行算法。 287-308 马雷克·卡宾斯基 , 劳伦斯·拉莫尔 , 沃伊切赫·莱特 :
再谈构造最优字母树的正确性。 309-324 皮埃尔·佩拉多 , 霍华德·斯特劳宾 , 丹尼斯·塞利安 :
程序定义的有限半群簇。 325-339
曼弗雷德·库德莱克 , 亚历山德鲁·马泰斯库 :
关于分布式连锁。 341-352 尤尔根·达索 , 维克托·米特拉纳 :
上下文无关语法的合作。 353-361 Víctor F.Sirvent公司 :
关于Rauzy分形的一些动力学子集。 363-370 雷内·戴维 , 卡里姆·努尔 :
两个Lambda-Terms运算等价性的句法证明。 371-375
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)