JCSS,第28卷
第28卷第1期,1984年2月
莫舍·瓦尔迪 :
类型化模板依赖的蕴涵和有限蕴涵问题。 3-28 马可·卡萨诺娃 , 罗纳德·费金 , 克里斯托斯·帕帕迪米特里奥 :
包含依赖及其与函数依赖的交互。 29-59 内森·古德曼 , 奥德·什穆埃利 :
树投影定理和关系查询处理。 60-79 托马斯·伊米林斯基 , 小维托德·利普斯基。 :
数据和柱面代数的关系模型。 80-102 巴黎C.Kanellakis , 克里斯托斯·帕帕迪米特里奥 :
分布式锁定更难吗? 103-120 马克·格雷厄姆 , 米哈利斯·扬纳卡基斯 :
独立数据库架构。 121-141 卡洛·扎尼奥洛 :
具有空值的数据库关系。 142-166 大卫·S·约翰逊 , 安东尼·克鲁格 :
在函数依赖项和包含依赖项下测试联合查询的包含性。 167-189
第28卷第2期,1984年4月
伊莎·费尔德曼 , 哈雷尔 :
概率动态逻辑。 193-215 沃尔特·L·鲁佐 , Janos西蒙 , 马丁·汤帕 :
基于空间的层次结构和概率计算。 216-230 马丁·福勒 :
分布式计数的数据结构。 231-243 克里斯托斯·帕帕迪米特里奥 , 米哈利斯·扬纳卡基斯 :
方面的复杂性(以及复杂性的某些方面)。 244-259 克里斯托斯·帕帕迪米特里奥 , 迈克尔·西普塞 :
通信复杂性。 260-269 沙菲·戈德瓦塞尔 , 西尔维奥·米卡利 :
概率加密。 270-299 桑迪普·N·巴特 , 弗兰克·汤姆森·莱顿 :
解决VLSI图形布局问题的框架。 300-343
第28卷第3期,1984年6月
曼弗雷德·K·沃穆特 , 大卫·豪斯勒 :
关于迭代无序的复杂性。 345-358 迈克尔·C·路易 :
将访问指针最小化为树和数组。 359-378 丹·威拉德 :
支持快速搜索操作的新Trie数据结构。 379-394 哈里·亨特三世 , 丹尼尔·罗森克兰茨 :
一元递归格式的复杂性:指数时间界限。 395-419 埃罗尔·劳埃德 , S.S.拉维 :
无组件约束的单层布线。 420-438 罗宾·米尔纳 :
一类规则行为的完备推理系统。 439-466