![](https://dblp.uni-trier.de/img/logo.320x120.png)
《理论计算机科学》第190卷
第190卷第1期,1998年1月10日
玛丽贝尔·费尔南德斯 , 伊恩·麦基 :
交互网络和术语重写系统。 3-39 鲁佩·凯沃拉 :
公理化扩展计算树逻辑。 41-60 比约恩·利斯珀 :
不可预测环境中的计算:语义、简化策略和程序转换。 61-85 艾伦·程 , 莫根斯·尼尔森 :
开放映射、行为等效和同余。 87-112
第190卷第2期,1998年1月20日
妮可·比多特 , 桑德拉·德·阿莫 :
实现动态代数依赖的第一步。 115-149 János Demetrovics公司 , Gyula O.H.卡托纳 , DezsöMiklós公司 , 奥列格·塞莱兹涅夫 , 伯恩哈德·塔勒海姆 :
随机数据库中键和函数依赖的渐近性质。 151-166 列奥尼德·利布金 :
数据库中的近似模型。 167-210 塞尔吉奥·利夫希茨 , 维克托·维亚努 :
数据日志并行化的概率视图。 211-239 V.威克托·马雷克 , 米罗斯瓦·特鲁兹琴斯基 :
修订编程。 241-277 丹素秋(Dan Suciu) :
具有外部功能的数据库上的独立于域的查询。 279-315 杰西·提什基维奇 :
布尔查询语言的Kolmogorov表达能力。 317-361 拉德克·文格雷克 , 海燕Hasse-Ye , 尤里·布莱巴特 , 汉斯·约尔格·斯克 :
使用语义丰富的操作统一事务的并发控制和恢复。 363-396
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)