信息学基础,第45卷
第45卷,第1-2期,2001年1月
帕特里克·贝洛特 , 马可·佩迪奇尼 :
基本复杂性和交互几何。 1-31 萨宾·布罗达 , 路易斯·达马斯 :
计算一类(主要)居民。 33-51 雷内·戴维 :
使用Böhm Trees进行计算。 53-77 佐藤正彦 , 樱井隆文 , 罗德·M·伯斯托尔 :
显式环境。 79-115 理查德·斯塔特曼 :
Jacopini定理的边缘。 117-121 克里斯蒂安·厄本 , 加文·M·比尔曼 :
经典逻辑中截除的强正规化。 123-155
2001年2月第45卷第3期
贾诺斯·阿普洛 , Sándor Vágvölgyi :
具有相同树自动机的地树变换器游戏。 157-172 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
带交集的无迭代PDL:完全公理化。 173-194 Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 :
从米尔金的前基到安蒂米洛夫的词偏导数。 195-205 彼得·哈耶克 , 索罗·图利帕尼 :
模糊概率逻辑的复杂性。 207-213 帕德马纳班·克里希南 :
分解定时下推自动机。 215-229 亚历山大·梅杜纳 :
通过分散上下文语法统一生成语言。 231-235 罗伯特·萨克森·米尔尼科尔 :
FC-Normal逻辑程序中的怀疑推理已完成P11。 237-252 本特·尼尔森 :
最短看守路线的近似值。 253-281
2001年3月第45卷第4期
小巴雷拉 , 罗纳尔多·福米奥·桥本 :
W-算子的超紧表示和Inf-Compact表示。 283-294 安德里斯·恩格尔布雷希特 :
前馈神经网络选择性学习的灵敏度分析。 295-328 亨宁·费尔诺 , 拉尔夫·斯蒂贝 :
Lindenmayer系统中的价。 329-358 达马斯·普·格鲁斯卡 , 安德烈亚·马吉奥洛·谢蒂尼 :
网络通信过程代数。 359-378 安东尼诺·萨利布拉 :
Lambda演算的非模块性结果。 379-392 赵喜顺 , 丁德成 :
2CNF默认理论的复杂性结果。 393-404