编辑配置文件(在新选项卡中打开) 科恩、利隆 合著者距离 作者ID: 内聚力 发布日期: 科恩、利隆 已编制索引的文档: 20份出版物自1990年以来 1名编辑贡献 合著者: 9合著者具有16联合出版物 189位联合作者 全部的 前5名合著者 三 单作者的 5 阿诺·阿夫隆 4 罗伯特·李,警察 4 鲁本·罗伊,N.S。 三 马克·比克福德 三 文森特·拉里 1 诺埃莉亚·巴雷拉 1 Jean-Daniel Boissonnat 1 索菲亚·阿布雷乌,法罗 1 塞萨里·卡利西克 1 奥利维尔·蒙加 1 马科斯·奥尔特加·霍塔斯 1 Manuel G.佩内多。 1 罗斯·泰特 1 尤尼·佐哈尔 全部的 前5名系列 2 逻辑与计算杂志 1 合成 1 模式识别 1 美国医学会杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 LIPIcs–莱布尼茨国际信息学会议录 领域 14 数理逻辑与基础(03-XX) 13 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用51中的次24文件 引用人▼ 年份▼ 在定义框架中形式化科学应用数学。 Zbl 1451.68333号 阿诺·阿夫隆;科恩、利隆 7 2016 中庸之道——不切实际的逻辑。 Zbl 1475.03082号 科恩、利隆;阿诺·阿夫隆 6 2019 祖先逻辑:一项实证理论研究。 Zbl 1429.03113号 科恩、利隆;阿诺·阿夫隆 6 2014 传递闭包逻辑中通过无限下降的一致归纳推理。 Zbl 1528.03186号 科恩、利隆;鲁本·罗伊,N.S。 5 2018 通过闭包算子和证明循环集成归纳和共归纳。 Zbl 07614523号 科恩、利隆;鲁本·罗伊,N.S。 4 2020 传递闭包逻辑的无完备性证明理论。 Zbl 1446.03031号 科恩、利隆;鲁本·罗伊,N.S。 4 2020 通过计算意义丰富的语义实现祖先逻辑的完整性。 Zbl 1496.03126号 科恩、利隆 三 2017 通过选择序列超越Church-Turing的可计算性。 Zbl 1452.03133号 马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 三 2018 由单调库支持的验证定理证明器后端。 Zbl 1409.68262号 文森特·拉里;科恩、利隆;马克·比克福德 三 2018 影响对建构主义的影响。 Zbl 07515956号 科恩、利隆;索菲亚·阿布瑞·法罗;罗斯·泰特 2 2019 在Herbrand结构中实现自动推理。 Zbl 1444.03158号 科恩、利隆;鲁本·罗伊,N.S。;尤尼·佐哈尔 2 2019 集合最小计算理论中的应用数学。 Zbl 1454.03064号 阿诺·阿夫隆;科恩、利隆 2 2018 第十二届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。 Zbl 1465.68016号 2 2021 拓扑活动体积:用于体积分割的拓扑自适应变形模型。 Zbl 1187.68428号 巴雷拉,N。;M.G.佩内多。;科恩,L。;奥尔特加,M。 1 2010 棒材归纳法符合构造型理论。 Zbl 1427.03066号 文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 1 2019 最小计算宇宙的最小计算理论。 兹比尔1503.03011 阿诺·阿夫隆;科恩、利隆 1 2018 第12届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。 兹比尔1465.68016 2 2021 通过闭包算子和证明循环集成归纳和共归纳。 Zbl 07614523号 科恩、利隆;鲁本·罗伊,N.S。 4 2020 传递闭包逻辑的无完备性证明理论。 Zbl 1446.03031号 科恩、利隆;鲁本·罗伊,N.S。 4 2020 中庸之道——不切实际的逻辑。 Zbl 1475.03082号 科恩、利隆;阿诺·阿夫隆 6 2019 影响对建构主义的影响。 Zbl 07515956号 科恩、利隆;索菲亚·阿布瑞·法罗;罗斯·泰特 2 2019 在Herbrand结构中实现自动推理。 Zbl 1444.03158号 科恩、利隆;鲁本·罗伊,N.S。;尤尼·佐哈尔 2 2019 棒材归纳法符合构造型理论。 Zbl 1427.03066号 文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 1 2019 传递闭包逻辑中通过无限下降的一致归纳推理。 Zbl 1528.03186号 科恩、利隆;鲁本·罗伊,N.S。 5 2018 通过选择序列超越Church-Turing的可计算性。 Zbl 1452.03133号 马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 三 2018 由单调库支持的验证定理证明器后端。 Zbl 1409.68262号 文森特·拉里;科恩、利隆;马克·比克福德 三 2018 集合最小计算理论中的应用数学。 Zbl 1454.03064号 阿诺·阿夫隆;科恩、利隆 2 2018 最小计算宇宙的最小计算理论。 Zbl 1503.03011号 阿诺·阿夫隆;科恩、利隆 1 2018 通过计算意义丰富的语义实现祖先逻辑的完整性。 Zbl 1496.03126号 科恩、利隆 三 2017 在定义框架中形式化科学应用数学。 Zbl 1451.68333号 阿诺·阿夫隆;科恩、利隆 7 2016 祖先逻辑:一项实证理论研究。 Zbl 1429.03113号 科恩、利隆;阿诺·阿夫隆 6 2014 拓扑活动体积:用于体积分割的拓扑自适应变形模型。 Zbl 1187.68428号 巴雷拉,N。;M.G.佩内多。;科恩,L。;奥尔特加,M。 1 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名32位作者引用 8 科恩、利隆 7 阿诺·阿夫隆 2 达斯,阿努帕姆 2 玛丽安娜·吉兰多 2 日产李维斯 2 鲁本·罗伊,N.S。 2 乔纳森·斯特林 1 卡洛·安吉利 1 奥费尔·阿列利 1 罗伯特·李,警察 1 达斯,安库什 1 亨利·德扬 1 布鲁诺·迪尼斯 1 索菲亚·阿布雷乌,法罗 1 丹尼尔·格拉泽 1 什特·潘·霍卢布 1 阿比德·西亚尔·阿卜杜勒·哈利姆 1 迈克尔·科尔哈斯 1 泽珊·拉哈尼 1 沙哈尔·列夫 1 埃蒂安·米基 1 安德烈亚·莫迪多 1 内格里,萨拉 1 弗兰克·芬宁 1 Prathmesh,T.V.H。 1 弗洛里安·拉贝 1 什韦塔·拉吉夫 1 马丁·拉什卡 1 什蒂·潘·斯塔罗斯塔 1 罗斯·泰特 1 里希·维亚斯 1 安娜·扎曼斯基 5篇连载文章中引用 三 计算机科学中的逻辑方法 2 自动推理杂志 2 符号逻辑公报 1 合成 1 函数编程杂志 在4个字段中引用 18 计算机科学(68至XX) 16 数理逻辑与基础(03-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 按年份列出的引文