《理论计算机科学》第146卷
第146卷，编号1和2，1995年7月24日
安德烈·塞德洛夫 , 丹尼斯·德特克 , 沃尔夫冈·齐勒 :
Moez Alimohamed，1967-1994年。 西奥。 计算。 科学。 146 ( 1&2 ) : 1-3 ( 1995 ) 莫伊斯·阿利莫哈默德 :
隐式多态分类模型中lambda可定义性的特征。 5-23 吟游诗人布鲁姆 :
弱互模拟的结构操作语义。 25-68 泽纳·M·阿里奥拉 , 阿尔文德 :
具有共享的一阶函数语言的属性。 69-108 弗兰克·卡塞兹 
, 奥利维尔·F·鲁 :
将ELECTRE反应式语言编译成有限转换系统。 109-143 大卫·B·坎普 , 迪维什·斯利瓦斯塔瓦 , 彼得·J·斯塔基 :
钻井模型的自底向上评估和查询优化。 145-184 鲁道夫·伯哈默 , 比吉特·埃尔布尔 , 乌尔夫·施默尔 :
弱二阶逻辑中Dijkstra谓词变换wp的形式化。 185-197 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
建立作为半决定程序的完成程序基础。 199-242 罗尔夫·巴科芬 , 格特·斯莫尔卡 :
一个完整的递归特征理论。 243-268 杰弗里·诺顿 , 拉胡·拉马克里希南 , 叶霍舒亚·萨吉夫 , 杰弗里·D·厄尔曼 :
通过因子分解减少参数。 269-310 法比奥·阿莱西 , 保罗·巴尔丹 , 吉安娜·贝尔 :
紧度量空间中的一个不动点定理。 311-320 小林由纪（Yuji Kobayashi） :
有可解决的单词问题但没有常规完整演示的有限演示单体。 321-329 张国强 :
关于最大稳定函数。 331-339 安娜·英格尔斯多蒂尔 :
后期和早期语义测试巧合。 341-349
