信息与计算,第137卷
第137卷第1期,1997年8月25日
马特·费尔特洛 , 迈克尔·门德勒 :
命题松弛逻辑。 1-33 贝内代托·因特里吉拉 :
实际上,不存在Statman的双固定点组合器并不存在。 35-40 莫雷诺·法拉斯基 , 毛里齐奥·加布里埃利 , 金·马里奥特 , 帕拉米德斯猫 :
带动态调度的约束逻辑编程:基于闭包算子的语义。 41-67 伊夫·拉丰 :
交互组合器。 69-101
1997年9月15日第137卷第2期
阿图尔·祖马 , 弗里德海姆·梅耶(Friedhem Meyer auf der Heide) , 沃尔克·斯特曼 :
实时模拟共享内存:可重构体系结构的计算能力。 103-120 卢卡·埃特罗 , 万·J·福克金 :
多重退出迭代的等式公理化。 121-158 史提芬·古克 , 罗素·英帕利亚佐 , 山本俊彦(Tomoyuki Yamakami) :
类属预言与第二类复杂性理论之间的紧密关系。 159-170