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

罗伯特·李，警察

合著者距离
作者ID： 警员.robert-l“康斯特布尔，罗伯特·李”最近发表的zbMATH文章
发布日期： 罗伯特·康斯特布尔。；罗伯特·康斯特布尔；康斯特布尔，R.L。；罗伯特·康斯特布尔。
其他拼写： 鲍勃·康斯特布尔
主页： http://www.cs.cornell.edu/home/rc/
外部链接： MGP公司·维基数据·ResearchGate研究之门·ID参考
已编制索引的文档： 69出版物自1971年以来，包括2本书
1名编辑贡献·3进一步捐款
合著者： 38位合著者具有45联合出版物
741联合作者
全部的 前5名

合著者

26 单作者的
9 马克·比克福德
4 科恩、利隆
4 沃伊切赫·莫齐德·奥斯基
三 斯图亚特·艾伦。
三 理查德·伊顿
三 洛里戈，洛里
三 史蒂文·穆奇尼克。
三 文森特·拉里
2 约瑟夫·贝茨。
2 赫伯特·埃格利
2 大卫·格里斯
2 Joseph Yehuda Halpern
2 克里斯托夫·克里茨
2 迈克尔·奥唐纳。
2 萨宾娜·彼得里德
2 兹拉丁语，丹尼尔·R。
1 彼得·阿策尔
1 啊，阿尔弗雷德·瓦伊诺
1 阿伦斯，贝内迪克特
1 威廉·艾特肯（William E.Aitken）。
1 托尔斯滕·阿滕柯奇
1 Sten F.安德勒。
1 格雷戈里·安德鲁斯。
1 卡洛·安吉利
1 杰里米·阿维加德
1 史蒂夫·阿沃迪
1 约翰·班宁
1 布鲁诺·巴拉斯
1 David A.Basin。
1 安德烈·鲍尔
1 菲利普·伯恩斯坦。
1 伊夫·贝托特
1 马克·贝泽姆
1 埃雷特主教
1 安东尼·博尔吉
1 艾伦·B·博罗丁。
1 纪尧姆·布鲁内里
1 罗伯特·卡特赖特
1 马可·安东尼奥·卡萨诺娃
1 克拉克（Edmund Melson jun Clarke）。
1 西里尔·科恩
1 诺曼·H·科恩。
1 理查德·科恩（Richard M.Cohen）。
1 Rina S.科恩。
1 可口、蒂埃里
1 帕特里克·库索
1 拉迪亚·库索特
1 卡尔·克里
1 阿德里安·克里彻
1 皮埃尔·卢伊斯·居里
1 詹姆斯·多纳休（James E.Donahue）。
1 彼得·戴比杰
1 艾森劳布，C.D。
1 埃里克·芬斯特
1 亚瑟·C·弗莱克。
1 Amelia C.方。
1 克里斯托弗·弗雷泽（Christopher W.Fraser）。
1 尼古拉·甘比诺
1 理查德·加纳
1 苏珊·格哈特。
1 欧文·伦纳德·格利克斯伯格
1 乔治·戈蒂尔
1 很好，唐纳德一。
1 丹尼尔·理查德·格雷森
1 艾琳·格雷夫
1 海鸥，Walter E。
1 托马斯·卡利斯特·黑尔斯
1 大卫·哈雷
1 罗伯特·哈珀
1 E.哈里。
1 Hartmanis，法学家
1 雨果·赫贝林
1 杰森·希基。
1 克里斯托夫·霍夫曼。
1 马丁·霍夫曼
1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。
1 Hötzel Escardó，马汀
1 Hou（Favonia）、Kuen-Bang
1 道格拉斯·J·豪。
1 亨特，哈里·鲍文三世
1 迈克尔·詹金斯（Michael A.Jenkins）。
1 尼尔·D·琼斯。
1 安德烈·乔亚尔
1 Fairouz D.卡马雷丁。
1 Krzysztof卡普尔金
1 阿里尔·凯利森（Ariel E.Kellison）。
1 乔恩·迈克尔·克莱伯格
1 托德·B·诺克布洛克。
1 约阿希姆·科克
1 尼古拉·克劳斯
1 特温·拉恩
1 斯坦利·李
1 李诺
1 丹·利卡塔
1 刘肯池
1 彼得·勒法努·卢姆斯代恩
1 罗朝晖
1 阿西亚·马布比
1 马丁勒夫，佩尔
1 约翰·麦卡锡
……还有43位合著者
全部的 前5名

系列

三 程序设计语言与系统学报
2 计算机协会杂志
2 计算机与系统科学杂志
2 SIAM计算机杂志
2 理论计算机科学
2 纯逻辑与应用逻辑年鉴
2 自动推理杂志
2 计算机科学课堂讲稿
2 计算机科学中的逻辑方法
1 信息处理信件
1 Kiberneticheskiĭ斯博尼克。诺瓦亚·塞里亚
1 实用数学
1 信息与计算
1 逻辑与计算杂志
1 数学与人工智能年鉴
1 美国医学会杂志
1 应用逻辑杂志
1 当代数学
全部的 前5名

领域

60 计算机科学（68至XX）
43 数理逻辑与基础（03-XX）
4 历史和传记（01-XX）
三 总体主题；集合（00-XX）
1 组合数学（05-XX）
1 范畴理论；同调代数（18-XX）
1 几何图形（51至XX）
1 代数拓扑（55-XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

56出版物有被引用279中的次215文件 引用人▼ 年份▼
同伦类型理论。数学的单价基础。 Zbl 1298.03002号
单价基金项目
219
2013
第二类计算复杂性。 Zbl 0306.68022号
罗伯特·康斯特布尔。
22
1973
关于程序图式的类。 Zbl 0247.68031号
罗伯特·康斯特布尔。；大卫·格里斯
21
1972
编程语言语义的可计算性概念。 Zbl 0352.68042号
赫伯特·埃格利；罗伯特·康斯特布尔。
20
1976
使用Nuprl的计算类型理论创新。 Zbl 1107.68090号
艾伦，S.F。；比克福德，M。；康斯特布尔，R.L。；伊顿，R。；克里茨，C。；洛里戈，L。；E.莫兰。
15
2006
操作员间隙。 Zbl 0229.68016号
罗伯特·康斯特布尔。
15
1972
次递归编程语言。一： 效率和程序结构。 Zbl 0259.68036号
罗伯特·康斯特布尔。；艾伦·B·博罗丁。
13
1972
作为程序的证据。 Zbl 0555.68003号
约瑟夫·贝茨。；罗伯特·康斯特布尔。
13
1985
类型理论中的递归定义。 Zbl 0579.68019号
康斯特布尔，R.L。；门德勒，N.P。
13
1985
关于程序方案等价的计算复杂性。 Zbl 0447.68038号
亨特，H.B.III；康斯特布尔，R.L。；萨赫尼，S。
13
1980
元框架。 Zbl 0922.03019号
David A.Basin。；罗伯特·康斯特布尔。
11
1993
构造数学和自动程序编写器。 兹比尔0255.68014
罗伯特·康斯特布尔。
9
1972
PL/CV3的类型理论。 Zbl 0522.68020号
罗伯特·康斯特布尔。；兹拉丁语，丹尼尔·R。
7
1984
在经典证明中发现计算内容。 Zbl 0754.03040号
罗伯特·康斯特布尔；切特·默西
6
1991
一阶逻辑的直觉完备性。 Zbl 1345.03114号
罗伯特·康斯特布尔；马克·比克福德
6
2014
基本递归函数理论的计算基础。 Zbl 0798.03046号
罗伯特·康斯特布尔。；斯科特·史密斯。
5
1993
编写构建校样的程序。 兹比尔0615.68063
康斯特布尔，R.L。；Knoblock，T.B.公司。；J.L.贝茨。
5
1985
埃雷特·毕晓普：对他和他的研究的反思。（1983年9月24日在圣地亚哥加利福尼亚大学举行的埃雷特主教纪念会议记录）。 Zbl 0579.01015号
5
1985
编程逻辑。介绍PL/CV验证器。Scott D.Johnson的贡献。 Zbl 0435.68006号
罗伯特·康斯特布尔。；迈克尔·奥唐纳。
5
1978
PL/CV2编程逻辑简介。 Zbl 0496.68008号
康斯特布尔，R.L。；S.D.约翰逊。；艾森劳布，C.D。
5
1982
作为证据的程序：概要。 Zbl 0514.68043号
罗伯特·康斯特布尔。
5
1983
Nuprl的类理论及其应用。 Zbl 0995.68014号
罗伯特·康斯特布尔。；希基，杰森
4
2000
编程语言语义的可计算性概念。 Zbl 0359.68017号
赫伯特·埃格利；罗伯特·康斯特布尔。
4
1975
正式翻译的复杂性和加速结果。 Zbl 0257.68036号
康斯特布尔，R.L。；J·哈特马尼斯。
4
1971
Nuprl开放逻辑环境。 Zbl 0963.68532号
斯图亚特·艾伦。；罗伯特·康斯特布尔。；伊顿，里奇；克里斯托夫·克里茨；洛里戈，洛里
4
2000
逻辑、数学和编程类型。 Zbl 0914.03056号
罗伯特·康斯特布尔。
4
1998
实现元数学作为自动定理证明的方法。 Zbl 0704.68094号
康斯特布尔，R.L。；D.J.豪。
三
1990
PL/CV3的类型理论。 Zbl 0506.03002号
罗伯特·康斯特布尔。；兹拉丁语，丹尼尔·R。
三
1982
作为编程逻辑的构造数学。一： 一些理论原则。 Zbl 0535.68009号
罗伯特·康斯特布尔。
三
1983
通过IZF集合论语义从构造性HOL证明中提取程序。 Zbl 1222.68359号
罗伯特·康斯特布尔；沃伊切赫·莫齐德·奥斯基
三
2006
棒材感应。好的，坏的，丑陋的。 Zbl 1457.68298号
文森特·拉里；马克·比克福德；罗伯特·康斯特布尔。
三
2017
通过选择序列超越Church-Turing的可计算性。 Zbl 1452.03133号
马克·比克福德；科恩、利隆；罗伯特·康斯特布尔。；文森特·拉里
三
2018
关于程序图式的类。 Zbl 0408.68019号
罗伯特·康斯特布尔。；大卫·格里斯
2
1977
天真的计算类型理论。 Zbl 1127.03322号
罗伯特·康斯特布尔。
2
2002
从命题演算的完备性证明中提取求解算法。 Zbl 1221.03015号
罗伯特·康斯特布尔；沃伊切赫·莫齐德·奥斯基
2
2009
作为编程逻辑的构造数学。一： 一些理论原则。 Zbl 0561.68028号
罗伯特·康斯特布尔。
2
1985
Nuprl类型理论的结构。 Zbl 0876.03010号
罗伯特·康斯特布尔。
2
1997
利用反思来解释和加强类型理论。 Zbl 0831.68101号
罗伯特·康斯特布尔。
2
1995
元框架。二： 制定反映的决策程序。 Zbl 0922.03020号
威廉·艾特肯（William E.Aitken）。；罗伯特·康斯特布尔。；朱迪思·安德伍德。
2
1999
使用事件结构的分布式系统的基于知识的综合。 Zbl 1108.68491号
马克·比克福德；罗伯特·康斯特布尔。；约瑟夫·霍尔珀（Joseph Y.Halpern）。；萨宾娜·彼得里德
2
2005
一种基于图形的方法，用于识别形式数学数字图书馆中的固有结构。 Zbl 1108.68595号
洛里戈，洛里；乔恩·克莱恩伯格；理查德·伊顿；罗伯特·康斯特布尔
1
2004
类型理论中部分可计算函数的计算复杂性和归纳。 Zbl 1016.03044号
罗伯特·康斯特布尔。；卡尔·克里
1
2002
次递归程序模式。一、 二、。 Zbl 0354.68022号
罗伯特·康斯特布尔。；史蒂文·穆奇尼克。
1
1972
构造性编程逻辑。 Zbl 0363.68029号
罗伯特·康斯特布尔。
1
1977
次递归编程语言。二、。关于程序大小。 Zbl 0218.68011号
康斯特布尔，R.L。
1
1971
回路示意图。 Zbl 0257.68025号
罗伯特·康斯特布尔。
1
1971
子递归编程语言。三： 多重递归函数。 Zbl 0265.68019号
罗伯特·康斯特布尔。
1
1971
逻辑和程序语义。在德克斯特·科赞60岁生日之际，为他撰写的论文。 Zbl 1241.68012号
1
2012
多态逻辑。 Zbl 1315.03043号
马克·比克福德；罗伯特·康斯特布尔
1
2012
数学作为编程。 Zbl 0571.68024号
康斯特布尔，R.L。
1
1984
有限自动机在现代计算理论发展中的作用。 Zbl 0468.68060号
罗伯特·康斯特布尔。
1
1980
构造形式理论中的部分功能。 Zbl 0505.03027号
罗伯特·康斯特布尔。
1
1982
棒材归纳法符合构造型理论。 Zbl 1427.03066号
文森特·拉里；马克·比克福德；科恩、利隆；罗伯特·康斯特布尔。
1
2019
关于构造型理论中归纳类复杂性测度的注记。 Zbl 0916.03039号
罗伯特·康斯特布尔。
1
1998
关于建立有建设性的形式计算理论，注意图灵、丘奇和布劳沃的作用。 Zbl 1362.68250号
罗伯特·康斯特布尔。
1
2012
类型理论是计算机科学的基础。 Zbl 1496.03054号
罗伯特·康斯特布尔。
1
1991
棒材归纳法符合构造型理论。 Zbl 1427.03066号
文森特·拉里；马克·比克福德；科恩、利隆；罗伯特·康斯特布尔。
1
2019
通过选择序列超越Church-Turing的可计算性。 Zbl 1452.03133号
马克·比克福德；科恩、利隆；罗伯特·康斯特布尔。；文森特·拉里
三
2018
棒材感应。好的，坏的，丑陋的。 Zbl 1457.68298号
文森特·拉里；马克·比克福德；罗伯特·康斯特布尔。
三
2017
一阶逻辑的直觉完备性。 Zbl 1345.03114号
罗伯特·康斯特布尔；马克·比克福德
6
2014
同伦类型理论。数学的单价基础。 Zbl 1298.03002号
单价基金项目
219
2013
逻辑和程序语义。在德克斯特·科赞60岁生日之际，为他撰写的论文。 Zbl 1241.68012号
1
2012
多态逻辑。 Zbl 1315.03043号
马克·比克福德；罗伯特·康斯特布尔
1
2012
关于建立有建设性的形式计算理论，注意图灵、丘奇和布劳沃的作用。 Zbl 1362.68250号
罗伯特·康斯特布尔。
1
2012
从命题演算的完备性证明中提取求解算法。 Zbl 1221.03015号
罗伯特·康斯特布尔；沃伊切赫·莫齐德·奥斯基
2
2009
使用Nuprl的计算类型理论创新。 Zbl 1107.68090号
艾伦，S.F。；比克福德，M。；康斯特布尔，R.L。；伊顿，R。；克里茨，C。；洛里戈，L。；E.莫兰。
15
2006
通过IZF集合论语义从构造性HOL证明中提取程序。 Zbl 1222.68359号
罗伯特·康斯特布尔；沃伊切赫·莫齐德·奥斯基
三
2006
使用事件结构的分布式系统的基于知识的综合。 Zbl 1108.68491号
马克·比克福德；罗伯特·康斯特布尔。；约瑟夫·霍尔珀（Joseph Y.Halpern）。；萨宾娜·彼得里德
2
2005
一种基于图形的方法，用于识别形式数学数字图书馆中的固有结构。 Zbl 1108.68595号
洛里戈，洛里；乔恩·克莱恩伯格；理查德·伊顿；罗伯特·康斯特布尔
1
2004
天真的计算类型理论。 Zbl 1127.03322号
罗伯特·康斯特布尔。
2
2002
类型理论中部分可计算函数的计算复杂性和归纳。 Zbl 1016.03044号
罗伯特·康斯特布尔。；卡尔·克里
1
2002
Nuprl的类理论及其应用。 Zbl 0995.68014号
罗伯特·康斯特布尔。；希基，杰森
4
2000
Nuprl开放逻辑环境。 Zbl 0963.68532号
斯图亚特·艾伦。；罗伯特·康斯特布尔。；伊顿，里奇；克里斯托夫·克里茨；洛里戈，洛里
4
2000
元框架。二： 制定反映的决策程序。 Zbl 0922.03020号
威廉·艾特肯（William E.Aitken）。；罗伯特·康斯特布尔。；朱迪思·安德伍德。
2
1999
逻辑、数学和编程类型。 Zbl 0914.03056号
罗伯特·康斯特布尔。
4
1998
关于构造型理论中归纳类复杂性测度的注记。 Zbl 0916.03039号
罗伯特·康斯特布尔。
1
1998
Nuprl类型理论的结构。 Zbl 0876.03010号
罗伯特·康斯特布尔。
2
1997
利用反思来解释和加强类型理论。 Zbl 0831.68101号
罗伯特·康斯特布尔。
2
1995
元框架。 Zbl 0922.03019号
David A.Basin。；罗伯特·康斯特布尔。
11
1993
基本递归函数理论的计算基础。 Zbl 0798.03046号
罗伯特·康斯特布尔。；斯科特·史密斯。
5
1993
在经典证明中发现计算内容。 Zbl 0754.03040号
罗伯特·康斯特布尔；切特·默西
6
1991
类型理论是计算机科学的基础。 Zbl 1496.03054号
罗伯特·康斯特布尔。
1
1991
实现元数学作为自动定理证明的方法。 Zbl 0704.68094号
康斯特布尔，R.L。；D.J.豪。
三
1990
作为程序的证据。 Zbl 0555.68003号
约瑟夫·贝茨。；罗伯特·康斯特布尔。
13
1985
类型理论中的递归定义。 Zbl 0579.68019号
康斯特布尔，R.L。；门德勒，N.P。
13
1985
编写构建校样的程序。 兹比尔0615.68063
康斯特布尔，R.L。；Knoblock，T.B.公司。；J.L.贝茨。
5
1985
埃雷特·毕晓普：对他和他的研究的反思。（1983年9月24日在圣地亚哥加利福尼亚大学举行的埃雷特主教纪念会议记录）。 Zbl 0579.01015号
5
1985
作为编程逻辑的构造数学。一： 一些理论原则。 Zbl 0561.68028号
罗伯特·康斯特布尔。
2
1985
PL/CV3的类型理论。 Zbl 0522.68020号
罗伯特·康斯特布尔。；兹拉丁语，丹尼尔·R。
7
1984
数学作为编程。 Zbl 0571.68024号
康斯特布尔，R.L。
1
1984
作为证据的程序：概要。 Zbl 0514.68043号
罗伯特·康斯特布尔。
5
1983
作为编程逻辑的构造数学。一： 一些理论原则。 Zbl 0535.68009号
罗伯特·康斯特布尔。
三
1983
PL/CV2编程逻辑简介。 Zbl 0496.68008号
康斯特布尔，R.L。；S.D.约翰逊。；艾森劳布，C.D。
5
1982
PL/CV3的类型理论。 Zbl 0506.03002号
罗伯特·康斯特布尔。；兹拉丁语，丹尼尔·R。
三
1982
构造形式理论中的部分功能。 Zbl 0505.03027号
罗伯特·康斯特布尔。
1
1982
关于程序方案等价的计算复杂性。 Zbl 0447.68038号
亨特，H.B.III；康斯特布尔，R.L。；萨赫尼，S。
13
1980
有限自动机在现代计算理论发展中的作用。 Zbl 0468.68060号
罗伯特·康斯特布尔。
1
1980
编程逻辑。介绍PL/CV验证器。Scott D.Johnson的贡献。 Zbl 0435.68006号
罗伯特·康斯特布尔。；运营；迈克尔·唐奈尔（Michael J.Donnell）。
5
1978
关于程序图式的类。 Zbl 0408.68019号
罗伯特·康斯特布尔。；大卫·格里斯
2
1977
构造性编程逻辑。 Zbl 0363.68029号
罗伯特·康斯特布尔。
1
1977
编程语言语义的可计算性概念。 Zbl 0352.68042号
赫伯特·埃格利；罗伯特·康斯特布尔。
20
1976
编程语言语义的可计算性概念。 Zbl 0359.68017号
赫伯特·埃格利；罗伯特·康斯特布尔。
4
1975
第二类计算复杂性。 Zbl 0306.68022号
罗伯特·康斯特布尔。
22
1973
关于程序图式的类。 Zbl 0247.68031号
罗伯特·康斯特布尔。；大卫·格里斯
21
1972
操作员间隙。 Zbl 0229.68016号
罗伯特·康斯特布尔。
15
1972
次递归编程语言。一： 效率和程序结构。 Zbl 0259.68036号
罗伯特·康斯特布尔。；艾伦·B·博罗丁。
13
1972
构造数学和自动程序编写器。 兹比尔0255.68014
罗伯特·康斯特布尔。
9
1972
次递归程序模式。一、 二、。 Zbl 0354.68022号
罗伯特·康斯特布尔。；史蒂文·穆奇尼克。
1
1972
正式翻译的复杂性和加速结果。 Zbl 0257.68036号
康斯特布尔，R.L。；J·哈特马尼斯。
4
1971
次递归编程语言。二、。关于程序大小。 Zbl 0218.68011号
康斯特布尔，R.L。
1
1971
回路示意图。 Zbl 0257.68025号
罗伯特·康斯特布尔。
1
1971
子递归编程语言。三： 多重递归函数。 Zbl 0265.68019号
罗伯特·康斯特布尔。
1
1971
所有引用的出版物 前5名被引用出版物
全部的 前5名

被252位作者引用

13 罗伯特·李，警察
7 斯普林，迪特
5 克劳斯·维赫劳赫
4 David A.Basin。
4 马克·比克福德
4 伊曼纽尔·海因里
4 罗伯特·哈珀
4 奥斯卡·H·伊巴拉。
4 何塞·梅塞盖尔·瓜伊塔
4 艾伯特·罗纳德·梅耶
4 罗曼·佩乔
4 斯图尔特，伊恩·A。
4 巴威·乌尔兹琴
三 卡洛·安吉利
三 安纳托利·彼得罗维奇（AnatoliĭPetrovich）
三 科恩、利隆
三 塞巴斯蒂安·达尼西奇
三 罗伯特·马克·海伦斯
三 布鲁斯·卡普伦。
三 阿萨夫·科福里。
三 克里斯托夫·克里茨
三 迈克尔·劳伦斯。
三 Brian S.Leininger。
三 沃伊切赫·莫齐德·奥斯基
三 乔尔·塞菲亚斯。
三 阿伦·斯塔姆
三 Jerzy Tiuryn
2 埃里克·艾伦德。
2 乌尔里希·伯杰
2 克里斯蒂安·卡鲁德。
2 可口、蒂埃里
2 威廉·黑塞
2 杰拉德·P·休特。
2 亨特，哈里·鲍文三世
2 克里斯托弗·詹金斯
2 Ko、Ker-I型
2 朱塞佩·隆戈
2 Jean-Yves玛丽恩
2 塞恩·马修斯
2 Mix Barrington，David A。
2 内佩？沃达，尼古拉？尼古拉埃维奇
2 弗兰克·芬宁
2 弗洛里安·拉贝
2 文森特·拉里
2 丹尼尔·罗森克兰茨。
2 迈克尔·史密斯。
2 佛罗里达州斯坦伯格
2 乔纳森·斯特林
2 维戈·斯托尔滕贝格·汉森
2 山崎富代
2 马吕斯·齐曼德
1 萨姆森·艾布拉姆斯基
1 斯图亚特·艾伦。
1 阿尼西莫夫。
1 安德烈·阿诺德
1 Arratia-Quesada，阿吉米罗·阿莱杭德罗
1 Argimiro A.Arratia公司。
1 大卫·阿斯皮纳尔
1 迈克·D·阿特金森。
1 谢尔盖·奥特西尔
1 毛里西奥·阿亚拉·林科恩
1 阿卜杜勒瓦赫布·阿亚里
1 罗兰·贝克豪斯（Roland C.Backhouse）。
1 霍华德·巴林格
1 凯特丽尔·比里
1 迈克尔·比森。
1 克里斯蒂·L·贝尔曼。
1 布鲁诺·本岑
1 拉尔夫·本辛格
1 克里斯托夫·埃瓦尔德·本兹穆勒
1 亚历山德罗·贝拉杜奇
1 悉达哈·巴斯卡
1 科拉多·伯姆
1 安娜丽莎·博西
1 安娜·波夫
1 威尔弗里德·巴赫霍尔茨
1 詹姆斯·考德威尔。
1 斯尔詹·卡普昆
1 维南西奥·卡普雷塔
1 凯斯，约翰
1 陈树伟
1 约翰·切尔尼亚夫斯基（John C.Cherniavsky）。
1 保罗·奇索姆
1 玛尔塔·恰尔迪亚·梅耶
1 弗朗西斯科·西罗洛
1 曼纽尔·克莱维尔
1 彼得·克罗特。
1 斯蒂芬·阿瑟·库克
1 沃尔夫冈·科伊
1 马克西米利亚诺·克里斯蒂亚
1 库肯达尔，R。
1 兹拉坦·达姆贾诺维奇
1 雷内·戴维
1 丹尼·埃文
1 Robert A.Di Paola。
1 拉里·迪尔
1 迪科夫斯基，A.Ja。
1 mnesc博士，Isabela
1 多米尼克·达根
1 理查德·伊顿
…还有152位作者
全部的 前5名

44篇连载文章中引用

48 理论计算机科学
23 计算机与系统科学杂志
13 纯逻辑与应用逻辑年鉴
10 信息与计算
8 符号计算杂志
7 信息处理信件
6 符号逻辑杂志
5 信息学报
5 MSCS公司。计算机科学中的数学结构
三 数学系统理论
三 逻辑与代数程序设计杂志
三 计算机科学中的逻辑方法
2 人工智能
2 数学笔记
2 计算
2 苏联数学杂志
2 控制论
2 函数编程杂志
2 数学与人工智能年鉴
2 应用逻辑杂志
1 Archive für Mathematische Logik und Grundlagenforschung公司
1 国际理论物理杂志
1 数学分析与应用杂志
1 代数普遍性
1 比特币
1 圣母院形式逻辑杂志
1 美国数学学会会刊
1 编程与计算机软件
1 RAIRO，Informatique Théorique公司
1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学
1 美国数学学会会刊
1 自动推理杂志
1 计算的形式方面
1 分布式计算
1 Indagationes Mathematicae公司。新系列
1 控制论与系统分析
1 拓扑程序
1 软计算
1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学
1 高阶和符号计算
1 比特。Nordisk信息处理Tidskrift
1 计算机科学中的数学
1 计算机科学评论
1 膜计算杂志
全部的 前5名

17个字段中引用

177 计算机科学（68至XX）
129 数理逻辑与基础（03-XX）
7 阶、格、有序代数结构（06-XX）
7 范畴理论；同调代数（18-XX）
4 一般拓扑结构（54至XX）
三 一般代数系统（08-XX）
三 信息与通信理论、电路（94-XX）
2 总体主题；集合（00-XX）
2 历史和传记（01-XX）
1 组合数学（05-XX）
1 群论与推广（20-XX）
1 特殊功能（33至XX）
1 几何图形（51至XX）
1 代数拓扑（55-XX）
1 数值分析（65-XX）
1 量子理论（81-XX）
1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.