编辑配置文件（在新选项卡中打开） 罗布·D·阿尔森。 合著者距离 作者ID： 阿瑟·罗布·德 发布日期： 罗布·阿尔森;罗布·D·阿尔森。 外部链接： 管理程序 已编制索引的文档： 25出版物自1982年以来，包括8个附加arXiv预打印 合著者： 8位合著者具有12联合出版物 112位Co-Co作者 全部的 前5名合著者 11 单作者的 9 保罗·奥利瓦 2 拉马纳·库马尔 2 乌苏拉·马丁 2 玛格努斯·奥·米林。 2 斯科特·欧文斯 1 肖恩·巴勒特（Shaun R.Bullett）。 1 古德蒙德·格罗夫 1 林玉辉 1 埃里克·马西森。 1 罗伯特·M·索洛维。 全部的 前5名系列 2 自动推理杂志 1 美国数学月刊 1 剑桥哲学学会数学进展杂志 1 纯粹与应用代数杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 ACM计算逻辑汇刊 1 逻辑与分析杂志 1 形式化推理杂志 全部的 前5名领域 13 数学逻辑和基础（03-XX） 10 计算机科学（68至XX） 2 阶、格、有序代数结构（06-XX） 2 代数拓扑（55-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 功能分析（46倍X倍） 1 流形和细胞复合体（57至XX） 1 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用46中的次38文件 引用人▼ 年份▼ 高阶逻辑的自形式化。语义、可靠性和经过验证的实现。 Zbl 1356.68194号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2016 带定义的HOL：语义、可靠性和经过验证的实现。 Zbl 1416.68167号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2014 初等代数和几何可判定性的一些新结果。 Zbl 1259.03020号 罗伯特·索洛维。;R·D·阿尔森。;约翰·哈里森 11 2012 MO（1）Lambda无穷大和MU（1”Lambda无限大的同源性。 Zbl 0509.55002号 R·D·阿尔森。;S.R.Bullett。 4 1982 关于HOL中常量和类型的定义。 Zbl 1356.68173号 罗布·阿尔森 4 2016 HOL常量定义正确。 兹伯利1416.68148 罗布·阿尔森 4 2014 完善Floyd-Hoare逻辑的一般框架。 Zbl 1351.03020号 罗布·阿尔森;乌苏拉·马丁;埃里克·马西森。;保罗·奥利瓦 三 2009 线性系统的霍尔逻辑。 Zbl 1298.68163号 罗布·阿尔森;乌苏拉·马丁;保罗·奥利瓦 三 2013 不合理的结构R（右）从Z轴. Zbl 1005.68534号 罗布·D·阿尔森。 2 2001 稳定同伦环的局部化。 Zbl 0519.55007号 R·D·阿尔森。 2 1983 关于Borel-Cantelli引理、Erdős-Rényi定理和Kochen-Stone定理。 Zbl 07471628号 罗布·阿尔森;保罗·奥利瓦 2 2021 以图形化的方式理解和维护策略，或者我们是如何学习到一张图的价值可能超过10K LoC。 Zbl 1451.68324号 林玉辉;古德蒙德·格罗夫;罗布·阿尔森 1 2016 （双）环箍具有独特的对分功能。 Zbl 1383.68068号 罗布·阿尔森;保罗·奥利瓦 1 2013 欧几里德空间的Aronszajn准则。 Zbl 1266.46019号 R·D·阿尔森。 1 2012 关于Borel-Cantelli引理、Erdős-Rényi定理和Kochen-Stone定理。 Zbl 07471628号 罗布·阿尔森;保罗·奥利瓦 2 2021 高阶逻辑的自形式化。语义、可靠性和经过验证的实现。 Zbl 1356.68194号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2016 关于HOL中常量和类型的定义。 Zbl 1356.68173号 罗布·阿尔森 4 2016 以图形化的方式理解和维护策略，或者我们是如何学习到一张图的价值可能超过10K LoC。 Zbl 1451.68324号 林玉辉;古德蒙德·格罗夫;罗布·阿尔森 1 2016 带定义的HOL：语义、可靠性和经过验证的实现。 Zbl 1416.68167号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2014 HOL常量定义正确。 Zbl 1416.68148号 罗布·阿尔森 4 2014 线性系统的霍尔逻辑。 Zbl 1298.68163号 罗布·阿尔森;乌苏拉·马丁;保罗·奥利瓦 三 2013 （双）篮圈具有独特的减半功能。 Zbl 1383.68068号 罗布·阿尔森;保罗·奥利瓦 1 2013 关于初等代数和几何可判定性的一些新结果。 Zbl 1259.03020号 罗伯特·M·索洛维。;R·D·阿尔森。;约翰·哈里森 11 2012 欧几里德空间的Aronszajn准则。 Zbl 1266.46019号 R·D·阿尔森。 1 2012 完善Floyd-Hoare逻辑的一般框架。 Zbl 1351.03020号 罗布·阿尔森;乌苏拉·马丁;埃里克·马西森。;保罗·奥利瓦 三 2009 不合理的结构R（右）从Z轴. Zbl 1005.68534号 罗布·D·阿尔森。 2 2001 稳定同伦环的局部化。 Zbl 0519.55007号 R·D·阿尔森。 2 1983 MO（1）Lambda无穷大和MU（1”Lambda无限大的同源性。 Zbl 0509.55002号 R·D·阿尔森。;S.R.Bullett。 4 1982 所有引用的出版物 前5名被引用出版物 全部的 前5名79位作者引用 5 托比亚斯·尼普科 4 罗布·D·阿尔森。 4 拉马纳·库马尔 4 玛格努斯·奥·米林。 4 安德斯·施利奇特克鲁尔 三 昆查尔，Ondřej 三 鲍尔森、劳伦斯·查尔斯 三 安德烈·波佩斯库 2 奥斯卡·亚伯拉罕森 2 古德蒙德·格罗夫 2 西蒙·罗科普夫 1 马克·亚当斯 1 Krzysztof Rafal公寓 1 格特鲁德·鲍尔 1 布兰登·伯勒 1 玛丽亚·保拉（Maria Paola Bonacina） 1 菲利波·邦奇 1 亚历山大·博罗维克五世。 1 阿兰·邦迪 1 Dang，Tat Dat公司 1 贾里德·戴维斯 1 路易斯·埃斯特拉达。 1 本雅法伦斯坦 1 曼努埃尔·费尔南德斯五世 1 乌尔里希·富巴赫 1 阿夫·根格尔巴赫 1 托马斯·卡利斯特·黑尔斯 1 何松林 1 Hoáng LéTrườ纳克 1 迈克尔·安东·Högele 1 约书亚·霍兰德 1 亚历山大·伯奇·延森 1 金仁玲 1 塞萨里·卡利西克 1 本杰明·卢西恩·卡明斯基 1 赫鲁特维克卡纳巴尔 1 Joost-Pieter卡托恩 1 米哈伊尔·卡茨（Mikhail G.Katz）。 1 约翰·布伦特·拉森 1 林玉辉 1 维克托·马格伦 1 乌苏拉·马丁 1 克里斯托弗·马瑟亚 1 肖恩·麦克劳林 1 朱利叶斯·米切利斯 1 莫里尼基·内里 1 阮广忠 1 阮大唐 1 迈克尔·诺里什 1 史蒂文·奥布阿 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 保罗·奥利瓦 1 费德里科·奥利梅多 1 斯科特·欧文斯 1 巴甫洛维奇，杜什科 1 艾莉森·皮斯 1 安德烈·普拉泽 1 约瑟夫·普莱索 1 丹尼尔·拉吉 1 文森特·拉里 1 巴布亚州索波辛斯基 1 维奥里卡Sofrone-Stokkerman 1 阿列克谢·索洛维耶夫 1 T型ạ Th（第个）ị Hoái An酒店 1 Tan，Yong Kiam先生 1 Laurent Théry 1 南庄Tran 1 特里厄·蒂迪普 1 托马斯·图尔克 1 约瑟夫·乌尔班 1 约根·维拉德森 1 Tjark韦伯 1 伊泰·韦斯 1 马卡里乌斯·温泽尔 1 弗里克·威迪杰克 1 香，双清 1 谢万玲 1 朱慧彪 1 罗兰·祖姆凯勒 全部的 前5名12篇连载文章中引用 7 自动推理杂志 4 计算的形式方面 2 计算机科学中的数学 2 形式化推理杂志 1 落基山数学杂志 1 圣母院形式逻辑杂志 1 统计与概率信件 1 人工智能通信 1 符号逻辑公报 1 逻辑与分析杂志 1 数学论坛，Pi 1 程序设计中的逻辑与代数方法杂志 全部的 前5名在14个字段中引用 32 计算机科学（68至XX） 20 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 实际功能（26年X月X日） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 范畴理论；同调代数（18-XX） 1 序列、级数、可和性（40-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 凸几何和离散几何（52至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 按年份列出的引文