《理论计算机科学》第90卷
1991年第90卷第1期
唐纳德·E·克努思 :
理论与实践。 1-15 伊戈尔·波托辛 :
程序优化可能性分析和进一步发展。 17-36 维克托·卡西亚诺夫 :
程序具体化的转换方法。 37-46 米哈伊尔·布尔永科夫 :
从部分求值到混合计算。 47-60 福村义彦 , Kenroku Nogi公司 , 高野明彦 :
广义部分计算的本质。 61-79 V.E.伊特金 :
混合计算代数。 81-93 尼尔·D·琼斯 :
静态语义、类型和绑定时间分析。 95-118 瓦迪斯拉夫·M·图斯基(Wladyslaw M.Turski) :
处方行为。 119-125 J.W.de Bakker(德巴克) , J.H.A.Warmerdam公司 :
四个并发域。 127-149 卢德米拉·切尔卡索娃 , 瓦迪姆·E·科托夫 :
并发非确定性过程的代数。 151-170 安东尼·马祖基维奇(Antoni W.Mazurkiewicz) , 亚历山大·莫西·拉宾诺维奇 , 鲍里斯·特拉赫滕布罗特 :
连通性和同步性。 171-184 恩恩·图古 :
高阶数据流模式。 185-198 J.M.巴兹丁 , G.J.巴兹丁 :
从样本快速构造代数公理。 199-208 安德烈·布利克尔 , 安德烈·塔莱基 , 米克尔·索鲁 :
论系统发展中语法的保守性扩展。 209-233 C.A.R.霍尔 :
组合C-MOS电路设计推导理论。 235-251 N.N.内佩霍沃达 :
构造逻辑和计算机程序设计之间的桥梁。 253-270
第90卷第2期,1991年
特奥多尔·罗斯 :
编译程序的代数构造。 西奥。 计算。 科学。 90 ( 2 ) : 271-308 ( 1991 ) Makoto Tatsuta公司 :
使用可实现性的程序合成。 西奥。 计算。 科学。 90 ( 2 ) : 309-353 ( 1991 ) 斋藤隆 :
自动机网络中等价关系的动力学。 西奥。 计算。 科学。 90 ( 2 ) : 355-367 ( 1991 ) 富山义彦 :
如何证明没有归纳法的术语重写系统的等价性。 西奥。 计算。 科学。 90 ( 2 ) : 369-390 ( 1991 ) 郭竹东 , 西莫·金斯堡 :
对象历史记录的可本地化约束。 西奥。 计算。 科学。 90 ( 2 ) : 391-432 ( 1991 ) 迪米特·瓦卡列洛夫 :
知识表示系统的模态逻辑。 西奥。 计算。 科学。 90 ( 2 ) : 433-456 ( 1991 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)