《理论计算机科学》第298卷
第298卷第1期,2003年4月4日
山本明弘 :
基于残差假设向上细化的假设发现。 5-19 坂本浩 , 平田口一 , Hiroki Arimura先生 :
通过查询学习基本的形式化系统。 21-50 斯特芬·兰格 , Gunter Grieser公司 , 克劳斯·詹特克 :
高级基本形式系统。 51-70 斯特芬·兰格 , 约钦·内塞尔 :
常规模式的决策列表。 71-87 Yasuhito Mukouchi先生 , 佐藤雅子 :
拒绝与邻居系统学习语言。 89-110 桑杰·贾恩 , Efim B.Kinber公司 , 罗尔夫·维哈根 , 托马斯·齐格曼 :
关于函数的学习。 111-143 沃尔夫冈·默克尔 , 弗兰克·斯蒂芬 :
拒绝再次学习。 145-177 横本隆 :
从正数据中识别非常简单的语法的多项式时间。 179-206 冈本正史 , 藤井信弘 :
领域特征对基于实例的学习算法的影响。 207-233 阿克苏Tatsuya Akutsu , 佐托鲁·库哈拉 , Osamu Maruyama公司 , 宫野佐治 :
在布尔模型下通过策略性基因中断和基因过度表达识别遗传网络。 235-251 Takuya Kida先生 , 松本刚弥(Tetsuya Matsumoto) , 柴田优介 , 武田正彦 , 小原阿由美 , 有川Setsuo Arikawa :
拼贴系统:用于压缩模式匹配的统一框架。 253-272
第298卷第2期,2003年4月8日
Mariangiola Dezani-Ciancaglini公司 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限lambda演算与Berarducci树的判别。 275-302 罗德尼·G·唐尼 , 兰斯·福特诺 :
统一的硬语言。 303-315 迈克尔·R·费罗斯 , 凯瑟琳·麦卡廷 :
最小化延迟任务的时间表参数复杂性。 317-324 巴哈迪尔·库萨诺夫 :
正则语言类的代数和逻辑规范。 325-346 帕德马纳班·克里希南 :
定时系统中调度器子类的自动合成。 347-363 艾瑞克·马丁 , 艾伦·沙玛 , 弗兰克·斯蒂芬 :
学习能力和语言表达能力。 365-383
第298卷第3期,2003年4月11日
马丁·阿巴迪 , 布鲁诺·布兰切特 :
非对称通信的保密类型。 387-415 卢卡·埃特罗 , 佐尔坦·埃西克 , 安娜·英格尔斯多蒂尔 :
热带半环的等式理论。 417-469 米歇尔·比多特 , 罗尔夫·亨尼克 , 亚历山大·库兹 :
观察逻辑、基于构造的逻辑及其二重性。 471-510 米科拉伊·博扬奇克 :
双向交替自动机的有限图问题。 511-528 娜迪亚·布西 , 吉安路易吉·扎瓦塔罗 :
共享数据空间中的过期数据收集。 529-556 克里斯蒂亚诺·卡尔加诺 , 彼得·W·奥赫恩 , 理查德·博纳特 :
存在垃圾收集时的程序逻辑和等效性。 557-581 格温·克莱因 , 托比亚斯·尼普科夫 :
经过验证的字节码验证器。 583-626