《理论计算机科学》第249卷
2000年10月17日第249卷第1期
克劳斯·凯梅尔 , 迈克尔·米斯洛夫 , 君士坦丁·齐纳基斯 :
现代代数-前言。 1 Jan J.M.M.Rutten先生 :
宇宙余代数:一种系统理论。 3-80 香塔尔·柏林 :
从计算到通过函数和应用的基础:微积分及其腹板模型。 81-161 弗兰克·J·奥利斯 :
格理论在知识表示中的应用。 163-196 安东尼诺·萨利布拉 :
关于lambda演算的代数模型。 197-240
2000年10月28日第249卷第2期
科斯塔斯·伊利奥普洛斯 :
组合算法-前言。 241 保罗·邓恩 , 艾伦·吉本斯 , 米歇尔·齐托 :
搜索问题中相变的复杂性理论模型。 243-263 阿维埃兹里·弗伦克尔 :
组合博弈复杂性的最新结果和问题。 265-288 弗兰蒂斯克·弗兰内克 , 艾斯·卡拉曼 , W.F.史密斯 :
Sturmian字符串中的重复。 289-303 简·霍卢布 , 鲍里沃伊·梅利查 :
使用因子自动机进行近似字符串匹配。 305-311 劳伦特·穆查德 :
准周期串的正规形式。 313-324 索马逊达拉姆·拉文德兰 , 艾伦·吉本斯 , 迈克·帕特森 :
互连网络中完全二叉树的密集边不相交嵌入。 325-342 W.F.史密斯 :
也许会重复,但肯定不会无聊。 343-355 周三明 :
限定图形的带宽。 357-368