信息与计算,第82卷
1989年第82卷第1期
Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 以下为:
无构造函数理论中的归纳自动证明。 1-33 Jin-yi Cai公司 , A.Hemachandra巷 以下为:
枚举计数很困难。 34至44 丹·威拉德 以下为:
正交范围查询中加-减运算的下界及相关问题。 45-64岁 曼弗雷德·德罗斯特 以下为:
混凝土数据结构的递归域方程。 65-80 南希·A·林奇 , 尤金·W·斯塔克 以下为:
输入输出自动机卡恩原理的证明。 81-92 阿利斯泰尔·辛克莱 , 马克·杰拉姆 以下为:
近似计数、均匀生成和快速混合马尔可夫链。 93-133
1989年第82卷第2期
阿尔贝托·贝托尼 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 以下为:
常规和无上下文跟踪语言的成员问题。 135-150 玛格丽特·蒙特尼奥尔 , 米切尔·旺德 以下为:
在基于组合器的编译器中合并静态分析。 151-184 拉兹洛巴拜 , 什洛莫·莫兰 以下为:
用广义计数技术证明交互式证明的性质。 185-197 安德烈·阿诺德 , 安妮·迪基 以下为:
过渡系统等价性的代数表征。 198-229
1989年第82卷第3期
安德烈·埃伦菲赫特 , 大卫·豪斯勒 以下为:
从随机示例中学习决策树。 231-246 安德烈·埃伦菲赫特 , 大卫·豪斯勒 , 迈克尔·卡恩斯 , 莱斯利·瓦利安特 以下为:
学习所需示例数量的一般下限。 247-261年 理查德·安德森 , 恩斯特·梅尔 , 曼弗雷德·K·沃穆特 以下为:
装箱的并行近似算法。 262-277 弗兰克·A·斯托姆 , 威廉·德罗弗 , 罗布·格思 以下为:
upsilon-Calculus作为公平论证的断言语言。 278-322 Rusins Freivalds公司 , 卡尔·H·史密斯 , 马亨德兰·维拉萨皮莱 以下为:
影响归纳推理的参数之间的权衡。 323-349 Foto N.Afrati公司 , 克里斯托斯·帕帕迪米特里奥 , 乔治·帕帕乔治奥 以下为:
勘误表:立方图的复杂性。 350-353