《理论计算机科学》第145卷
第145卷，编号1和2，1995年7月10日
G.布拉加 , 詹皮罗·卡塔内奥 , 保拉西葫芦 , C.夸兰塔·沃格里奥蒂 :
基本元胞自动机中的模式增长。 1-26 G.斯里克里什纳 , C.潘都·兰根 :
平面图上路径问题的最优并行算法。 27-43 尤里·布莱巴特 , 哈里·亨特三世 , 丹尼尔·罗森克兰茨 :
关于表示布尔函数的二元决策图的大小。 45-69 恩斯特·莱斯（Ernst L.Leis） :
隐式语言方程：解的存在性和唯一性。 71-93 Krzysztof堤防 , 埃文格洛斯·克拉纳基斯 
, 亚当·马林诺夫斯基 , 安德烈·佩尔克 :
匿名无线铃声。 95-109 纳迪娅·克里诺 :
线性等价于可满足性的一类问题或证明NP完全性的统一方法。 111-145 伊恩·A·斯图尔特 :
单调NP的完全问题。 147-157 弗兰克·德雷维斯 , 安内格丽特·哈贝尔 , 汉斯·约格·克鲁斯基 , 斯特凡·托本伯格 :
利用拼贴语法生成自仿射分形。 159-187 蔡佳珍 , 罗伯特·佩奇 :
使用多集判别法解决无散列的语言处理问题。 189-228 克里斯托夫·鲁特诺尔 , 马塞尔·保罗·舒岑伯格（Marcel Paul Schützenberger） :
各种各样的功能。 229-240 Ker-I Ko公司 :
内部具有非递归测度的多项式时间可计算曲线。 241-270 Ofer Biran公司 , 什洛莫·莫兰 , Shmuel Zaks公司 :
分布式1-可解任务的圆形复杂性的严格界限。 271-290 西莫·金斯堡 , 田中胜美 :
对象历史记录的间隔查询。 291-316 马丁·米登多夫 :
关于在二进制字母表上寻找最小、最大和一致序列。 317-327 贝弗利·贾米森 , 斯蒂芬·奥拉里奥 :
P4-可约图的线性时间识别算法。 329-344 梁张 , 沈忠辉 :
可识别Bifix代码的完成。 345-355 加里·本森 :
一种寻找最佳非重叠对齐分数的空间效率算法。 357-369 A.Hemaspandra巷 , 姜志根 :
P-选择性：交集和索引。 371-380 上华腾 :
独立集与完美匹配。 381-390 奥德·马勒 :
概率转移系统的分解定理。 391-396
