《理论计算机科学》第221卷
第221卷,编号1-2,1999年6月
亚历山大·安德烈耶夫 , 安德烈亚·克莱门蒂 , 何塞·D·P·罗利姆 :
最坏情况下的硬度足以进行去随机化:一种新的硬度-随机性权衡方法。 3-18 亚尔·巴塔尔 , 斯特凡诺·莱昂纳迪 :
全光网络中的在线路由。 19-39 巴西诺餐厅(Frédérique Bassino) , 玛丽·皮埃尔·贝亚尔 , 多米尼克·佩林 :
有理树中叶子和节点的枚举序列。 41-60 布鲁诺·杜兰德 :
平铺和准周期性。 61-75 佩特尔·埃尔德斯 , 迈克尔·安东尼·斯蒂尔 , 拉兹洛·塞凯利 , 坦迪·J·沃诺 :
少量木材足以(几乎)建造所有树木:第二部分。 77-118 托马斯·埃尔勒巴赫 , 克劳斯·詹森 , 克里斯托斯·卡克拉曼尼斯 , 米莲娜·米哈伊尔 , 佩西亚诺(Pino Persiano) :
定向光纤树上的最优波长路由。 119-137 斯文·奥利弗·克鲁姆克 , 哈特穆特·诺尔特迈耶 , 马达夫·马拉特 , R.拉维 , S.S.拉维 , 拉维·桑德兰 , 汉斯·克里斯托夫·沃思 :
通过升级节点改进生成树。 139-155 乔瓦尼·曼齐尼 , 卢西亚诺·玛加拉 :
Zm上D-维线性元胞自动机的一个完全且有效的可计算拓扑分类。 157-177 Krzysztof R.Apt公司 :
约束传播的本质。 179-210 艾哈迈德·布阿贾尼 , 彼得·哈贝梅尔 :
具有非规则配置集的FIFO通道系统的符号可达性分析。 211-250 奥拉夫·伯卡特 , 伯恩哈德·斯特芬 :
模型检查无限序列过程的全模态多演算。 251-270 埃里克·德文克 , Jan J.M.M.Rutten先生 :
概率转移系统的互模拟:一种协代数方法。 271-293 彼得罗·迪·贾南托尼奥 :
实数的抽象数据类型。 295-326 玉溪府 :
移动进程的变化。 327-368 托马斯·汉津格 , 彼得·科普克 :
矩形混合自动机的离散时间控制。 369-392 Kohei Honda公司 , 吉田信子 :
Call-by-Value计算的博弈分析。 393-456 戴维德·桑吉奥吉 :
统一接受的名称规则。 457-493