信息与计算,第93卷
1991年第93卷第1期
罗希特·帕里赫 :
前言。 Inf.计算。 93 ( 1 ) : 三 ( 1991 ) 米切尔·旺德 :
记录级联和多重继承的类型推断。 1-15 迈克尔·米斯洛夫 , 劳伦斯·莫斯 , 弗兰克·J·奥利斯 :
作为理想不动点建模的非井底集。 16-54 尤金尼奥·莫吉 :
计算和单数概念。 55-92 丹尼尔·利万特 :
有限分层多态性。 93-113 伊安尼斯·莫肖瓦基斯 :
具有公平合并和完全递归的并发模型。 114-171 瓦尔·坦宁 , 蒂埃里·科昆 , 卡尔·A·冈特 , 安德烈·塞德洛夫 :
作为隐性胁迫的继承。 172-221
1991年第93卷第2期
威廉·埃洛 , 约翰·霍斯塔德 :
相对完美零知识不是BPP。 223-240 Pierluigi Crescenzi公司 , 亚历山德罗·潘科内西 :
近似类的完整性。 241-262 所罗门·帕塞 , 廷科·廷切夫 :
组合动态逻辑论文。 263-332 H.詹姆斯·胡佛 :
实函数,压缩映射和P-完全性。 333-349
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)