德里克·奥本
人员信息
优化列表
1980 – 1989
1983 [j8] 德里克·奥本 , Yogen K.Dalal瑜伽师 :
信息交换所:在分布式环境中定位命名对象的分散代理。 ACM事务处理。 信息系统。 1 ( 三 ) : 230-253 ( 1983 ) 1981 [j7] 罗伯特·卡特赖特 , 德里克·奥本 :
混叠的逻辑。 信息学报 15 : 365-384 ( 1981 ) 1980 [j6] 格雷格·纳尔逊 , 德里克·奥本 :
基于同余闭包的快速决策过程。 美国临床医学杂志 27 ( 2 ) : 356-364 ( 1980 ) [j5] 德里克·奥本 :
关于递归定义的数据结构的推理。 美国临床医学杂志 27 ( 三 ) : 403-411 ( 1980 ) 【j4】 德里克·奥本 :
理论的复杂性、凸性和组合。 西奥。 计算。 科学。 12 : 291-302 ( 1980 ) [j3] 德里克·奥本 :
打印精美。 ACM事务处理。 程序。 语言系统。 2 ( 4 ) : 465-483 ( 1980 )
1970 – 1979
1979 [注2] 格雷格·纳尔逊 , 德里克·奥本 :
通过合作决策程序简化。 ACM事务处理。 程序。 语言系统。 1 ( 2 ) : 245-257 ( 1979 ) 1978 [j1] 德里克·奥本 :
Presburger算法复杂性的2^2^2pn上界。 J.计算。 系统。 科学。 16 ( 三 ) : 323-332 ( 1978 ) 【c7】 罗伯特·卡特赖特 , 德里克·奥本 :
霍尔逻辑中的无限制过程调用。 府绸 1978 : 131-140 【c6】 查尔斯·尼尔森 , 德里克·奥本 :
基于高效决策算法的简化器。 府绸 1978 : 141-150 【c5】 德里克·奥本 :
递归定义数据结构的推理。 府绸 1978 : 151-157 1977 【c4】 格雷格·纳尔逊 , 德里克·奥本 :
基于并集和查找的快速决策算法。 光纤通信系统 1977 : 114-119 1975 【c3】 史提芬·古克 , 德里克·奥本 :
数据结构的断言语言。 府绸 1975 : 160-166 【c2】 德里克·奥本 , 史提芬·古克 :
证明关于操纵数据结构的程序的断言。 STOC公司 1975 : 107-116 1973 【c1】 德里克·奥本 :
普雷斯伯格算法的基本边界。 STOC公司 1973 : 34-37