《理论计算机科学》第255卷
第255卷,第1-2期,2001年3月28日
科林·斯特林 :
DPDA等效性的判定。 1-31 托马斯·埃尔勒巴赫 , 克劳斯·詹森 :
路径着色和调用调度的复杂性。 33-50 斯里尼瓦萨·拉奥·阿里卡蒂 , 安德斯·德斯马克 , 安德烈·林加斯 , 马达夫·马拉特 :
最大二维模式匹配的近似算法。 51-62 伊沃·丁施 , Hui Wang(王慧) , 斯蒂芬·麦克洛斯基 :
区域连接微积分的一种关系代数方法。 63-83 S.S.余 :
Post-plus语言。 85-105 桑杰·贾恩 :
网络模型上的分支和绑定。 107-123 克里斯蒂安·卡鲁德 , 彼得·赫特林 , 巴哈迪尔·库萨诺夫 , 王永革 :
递归可枚举实数和Chaitin Omega数。 125-149 让·奈拉德 , 卡拉·塞尔米 :
关于有限解码延迟的代码:构造不可满足的单词。 151-162 迪特马尔·瓦特扬 :
并行通信受限和一致受限0L系统。 163-191 维萨·哈拉瓦 , 米卡·希尔文萨洛 , 罗纳德·德·沃尔夫 :
标记的PCP是可判定的。 193-204 维克拉曼·阿文德 , 约翰内斯·科布勒 :
关于伪随机性和资源约束测度。 205-221 奥利维尔·芬克尔 :
局部有限语言。 223-261 Tiziana Calamoneri公司 , 安娜丽莎·马西尼 :
互联网络的优化三维布局。 263-279 托马斯·费德 :
约束系统的扇出限制。 281-293 布鲁诺·阿波罗尼 , 达里奥·马尔基奥迪 :
在次符号学习中获得自由度。 295-321 路易斯·米盖尔·洛佩兹 , 菲利普·纳贝尔 :
旋转类的替换和区间交换变换。 323-344 Jean-Guy Penaud公司 , 伊丽莎·佩戈拉 , 伦佐·平扎尼 , 奥利维尔·罗克斯 :
Schröder Chemins等人。 345-361 雅克·贾斯汀 , 朱塞佩·皮里略 :
斯图尔语单词的分数幂。 363-376 乔治·拉霍尼斯 :
字母和同步树传感器。 377-399 朱卡·科斯基宁 :
非投射背包公钥密码系统。 401-422 保罗·费舍尔 , 佛朗哥·P·普雷斯塔 , 约翰·萨维奇 :
广义扫描和三对角系统。 423-436 克里斯托夫·皮库洛 :
从两个正交投影重建多米诺骨牌瓷砖。 437-447 金国华 , 李志远 , 陈富杰(Fujie Chen) :
程序转换的理论基础,以减少由于真正的数据共享而导致的缓存抖动。 449-481 萨布丽娜·曼塔奇 , 安东尼奥·雷斯蒂沃 :
树上的代码和方程。 483-509 Erzébet Csuhaj-Varjú , 吉尔吉斯·瓦西尔 :
无语境平行交际语法系统:同步、交际和范式。 511-538 泽维尔·杜洛贝 , 雅克·贾斯汀 , 朱塞佩·皮里略 :
伊壁鸠鲁语单词和de Luca和Rauzy的一些结构。 539-553 薛国良 :
CREW PRAM上N体仿真中计算力场的成本最优并行算法。 555-568 豪尔赫·阿尔梅达 , 佩德罗·席尔瓦 :
R的SC超决定性。 569-591 菲利佩·库克 :
关于Q的实闭包的弱计算和加权计算。 593-600 罗伯托·因西蒂 :
无语境语言的增长功能。 601-605 埃尔维·福尼尔 :
用加法在实数上稀疏NP-完全问题。 607-610 奥尔加·索克拉托娃 :
Mal'cev引理和半环上的重写。 611-614 马查·尼科尔斯卡伊亚 , 尼科尔斯卡娅 :
2级冗余功能的OBDD表示的大小。 615-625 Subhas C.南迪 , 原山友弘 , 浅野忠雄 :
动态保持最宽的k密集走廊。 627-639 拉维库玛 , D.西瓦库马尔 :
关于唯一最短格向量问题。 641-648 陈宇伟 , 郭良忠 :
改进的超立方体容错排序算法。 649-658 陈秋元 , 吴开平 :
驳斥了关于平面可见性图的一个猜想。 659-665 朱哈·本卡拉 :
关于Parikh细长的无上下文语言。 667-677 埃琳娜·巴库奇 , 西蒙·里纳尔迪 :
一些线性递归及其正则语言的组合解释。 679-686 文森特·德·布隆德尔 , 奥利维尔·伯内斯 , 帕斯卡·科伊兰 , 克里斯托斯·帕帕迪米特里奥 , 约翰·齐齐克利斯 :
决定分段仿射动力系统的稳定性和死亡率。 687-696 A.N.特拉特曼 :
“有限自动机局部可测性阶的最优估计”的勘误表-[TCS 231(2000)59-74]。 697