理论计算机科学,第150卷
第150卷第1期,1995年10月16日
乔治奥·奥斯耶罗 , Pierluigi Crescenzi公司 , 马尔科·普罗塔西 :
NP优化问题的近似解。 1-55 杰里·阿达梅克 , 瓦克拉夫·库贝克 :
关于集合仿函数的最大不动点。 57-75 曼弗雷德·德罗斯特 :
并发单体中的可识别语言。 77-109 大卫·A·诺曼 :
谓词变换器和高阶程序。 111-159 保罗·H·B·加德纳 :
一致性和完整性的代数证明。 161-191