×
编辑配置文件（在新选项卡中打开）

雷·尼克森

合著者距离
作者ID： 尼克松·雷“Nickson，Ray”最近发表的zbMATH文章
发布日期： 雷·尼克森;雷蒙德·尼克森（Raymond G.Nickson）。;雷蒙德·尼克森;R·尼克森。
已编制索引的文档： 10出版物自1992年起
合著者： 8位合著者具有10联合出版物
71位合作作者
全部的 前5名

合著者

0 单作者的
5 伊恩·海耶斯。
3 罗伯特·J·科尔文。
3 林赛·格罗夫斯。
3 保罗·A·斯特罗珀。
2 大卫·海默
2 乌廷，马克
1 卡林顿，D.A。
1 杰米，护盾

系列

1 计算机程序设计科学
1 计算的形式方面
1 LMS计算与数学杂志
1 逻辑程序设计理论与实践

领域

10 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

5出版物有被引用15中的次10文件 引用人▼ 年份▼
程序优化工具。 Zbl 0910.68050号
D.卡林顿。;海耶斯，I。;R·尼克森。;沃森，G。;J·威尔士。
8
1998
埃尔戈的一种战术语言。 Zbl 0886.68124号
安德鲁·马丁;雷·尼克森;乌廷，马克
3
1997
支持程序优化中的上下文。 Zbl 0881.68012号
雷·尼克森;伊恩·海耶斯
2
1997
逻辑程序的精化演算。 Zbl 1090.68532号
伊恩·海耶斯;罗伯特·科尔文;大卫·海默;保罗·斯特罗珀;尼克森，雷
1
2002
逻辑程序优化工具（扩展抽象）。 Zbl 0888.68082号
罗伯特·科尔文;伊恩·海耶斯;雷·尼克森;保罗·斯特罗珀
1
1997
逻辑程序的精化演算。 Zbl 1090.68532号
伊恩·海耶斯;罗伯特·科尔文;大卫·海默;保罗·斯特罗珀;雷·尼克森
1
2002
一种程序细化工具。 Zbl 0910.68050号
D.卡林顿。;海耶斯，I。;R·尼克森。;沃森，G。;J·威尔士。
8
1998
Ergo的一种战术语言。 Zbl 0886.68124号
安德鲁·马丁;雷·尼克森;乌廷，马克
3
1997
支持程序优化中的上下文。 Zbl 0881.68012号
雷·尼克森;伊恩·海耶斯
2
1997
逻辑程序优化工具（扩展抽象）。 Zbl 0888.68082号
罗伯特·科尔文;伊恩·海耶斯;雷·尼克森;保罗·斯特罗珀
1
1997
所有引用出版物 前5名被引用出版物
全部的 前5名

18位作者引用

2 安娜·卡瓦尔坎蒂
2 Chaudhari，迪帕克L。
2 罗伯特·J·科尔文。
2 Om P.达马尼。
2 伊恩·海耶斯。
2 马塞尔·奥利维拉
2 保罗·A·斯特罗珀。
2 泽达，弗兰克
1 科林·菲奇。
1 大卫·海默
1 刘志明
1 Manolios，Panagiotis公司
1 J Strother摩尔
1 查尔斯·莫里塞特
1 雷·尼克森
1 乌廷，马克
1 王淑玲
1 卢克·威尔德曼

5篇连载文章中引用

2 计算的形式方面
1 信息处理信件
1 计算机程序设计科学
1 LMS计算与数学杂志
1 逻辑程序设计理论与实践

在1个字段中引用

10 计算机科学（68至XX）

按年份列出的引文