《理论计算机科学》第262卷
第262卷,第1-2期,2001年7月
尤拉吉·赫龙科维奇(Juraj Hromkovic) , 乔治·施尼特 :
拉斯维加斯2:双向有限自动机。 1-24 斯蒂芬·霍卢布 :
自由半群中的局部和全局循环性。 25-36 大卫·李 , 亨利克·沃兹尼亚科夫斯基 :
布尔函数特征多项式的近似计算。 37-68 阿尔贝托·贝托尼 , 马可·卡彭泰里 :
量子自动机和随机自动机之间的类比和差异。 69-81 陈东辉 , 丁祖渡 , 胡晓东 , 郭慧琳 , 王路生 , 薛国良 :
斯坦纳树最小斯坦纳点数的近似。 83-99 明扬考 , 王杰(音译) :
通过动态构建哈夫曼树最小化前缀和的舍入误差。 101-115 小林佐治 , 维克托·米特拉纳 , Gheorghe Paun公司 , 格列泽戈兹·罗森伯格 :
PA匹配的形式属性。 117-131 K.Kalorkoti公司 , D.H.Tulley先生 :
具有二进制优先级的优先级队列。 133-144 本特·阿斯帕瓦尔 , 马格努斯·M·哈尔德森 , 弗雷德里克·曼恩 :
矩阵的一般块分布的近似。 145-160 巴斯卡尔·达斯·古普塔 , 爱德华多·桑塔格 :
基于混合系统的状态空间同构问题,提出了一种在某些半环同余下检查等价性的多项式时间算法。 161-189 奥利弗·詹金森 :
Z2子移位的强共循环平凡性。 191-213 谢孙元 , 陈海伊(Gen-Huey Chen) , 金文浩 :
具有顶点故障的星图中最长的无故障路径。 215-227 G.Dányi , 佐尔坦·福尔普 :
无链协作分布式正则树语法的组件层次结构。 229-240 斯蒂芬·芬纳 , 史蒂文·霍默 , 兰德尔·普鲁姆 , 马库斯·谢弗 :
超多项式层次和多项式跳跃。 241-256 陆兵 , Jun Gu先生 , 胡晓东 , 尤金·什拉戈维茨 :
基于RSTP-MSP的缓冲器插入导线分段。 257-267 Jean-Pierre Duval公司 , 菲利波偏头痛 , 安东尼奥·雷斯蒂沃 :
来自当地时期的无限单词的重复性和周期性。 269-284 Ekkart点燃器 , 哈根·沃尔泽 :
具有柔性弧的代数网。 285-310 恩诺·奥勒布什 :
通过图重写实现条件项重写。 311-331 阮火林 :
有限最大实体码。 333-347 多丽丝·菲比格 , Ulf-Rainer Fiebig公司 , 娜塔莎·乔诺斯卡 :
sofic移位覆盖的多样性。 349-375 弗兰克·德雷维斯 :
基于树的分形语言生成。 377-414 协进公园 , 坤秀公园 :
红黑树的并行算法。 415-435 史蒂文·塞登 :
具有拒绝的抢占式多处理器调度。 437-458 萧永成(Siu-Wing Cheng) , 许银凤 :
关于贝塔骨架作为最小权三角剖分的子图。 459-471 Dieter Spreen公司 :
表示与数字:关于两个可计算性概念的关系。 473-499 伯恩德·博切特 , 里卡多·西尔维斯特里 :
点运算符。 501-523 马蒂厄·拉塔比 , 罗伯托·曼塔奇 , 米歇尔·摩尔万 , Ha Duong Phan公司 :
一些砂桩模型的结构。 525-556 Jeong Seop Sim先生 , 科斯塔斯·伊利奥普洛斯 , 坤秀公园 , 威廉·史密斯 :
字符串的大致周期。 557-568 阿图尔·祖马 , 伊恩·芬奇 , 莱斯泽克·盖西涅克 , 艾伦·吉本斯 , Paul H.Leng先生 , 沃伊切赫·莱特 , 米歇尔·齐托 :
使用时间因素进行高效的web搜索。 569-582 小林由纪(Yuji Kobayashi) , 桂田正树 , Kayoko Shikishima-Tsuji先生 :
合流单规则字符串重写系统的终止和推导复杂性。 583-632 竹中康彦 , 中岛库吉 , 山岛秀三(Shuzo Yajima) :
布尔函数的树壳性。 633-647 珍妮特·詹森 , 拉塔·纳拉亚南 :
约束信道分配的近似算法。 649-667 奥利维尔·芬克尔 :
欧米茄无上下文语言的拓扑性质。 669-697