信息与计算,第114卷
1994年第114卷第1期
瓦尔·坦宁 , 让·盖利尔 :
多态重写保持代数汇流。 1-29 科拉多·伯姆 , 贝内代托·因特里吉拉 :
强归一化的Ant-Lion范式。 30-49 哈维尔·埃斯帕尔扎 :
活和有界自由选择Petri网的约简与综合。 50-87岁 罗纳德·里维斯 , 罗伯特·H·斯隆 :
层次概念学习的形式化模型。 88-114 乔纳森·索伦森 , 伊恩·帕贝里 :
两个快速平行质数筛。 115-130 泽维尔·尼科林 , 约瑟夫·西法基斯 :
时间进程代数,ATP:理论与应用。 131-178
1994年第114卷第2期
马克·A·富尔克 , 桑杰·贾恩 :
近似推理和科学方法。 179-191 耶尔·谢梅什 , 尼西姆·弗朗西兹 :
有限状态统一自动机和关系语言。 192-213 埃文格洛斯·克拉纳基斯 , 丹尼·克里桑克 , 雅各布·范登伯格 :
在匿名网络上计算布尔函数。 214至236 桥口小三郎 :
星级扩展正则语言的无限二星高层次结构。 237-246 热拉尔·布多尔 , 伊利亚·卡斯特拉尼 :
分布式计算的流模型:CCS的三个等价语义。 247-314年 安德烈·埃伦菲赫特 , 亨德里克·扬·胡格布姆 , 格列泽戈兹·罗森伯格 :
依赖图的组合性质。 315-328 威廉·库克 , 延斯·帕尔斯伯格 :
继承的指称语义及其正确性。 329-350
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)