编辑配置文件(在新选项卡中打开) 安布罗斯·拉丰 合著者距离 作者ID: 拉方·安布罗斯 发布日期: 安布罗斯·拉丰 已编制索引的文档: 12出版物自2009年起,包括2个附加arXiv预打印 合著者: 10位合著者具有11联合出版物 127位合作作者 全部的 前5名合著者 0 单作者的 6 安德烈·赫肖维茨 6 汤姆·赫肖维茨 5 马可·马格西 三 阿伦斯,贝内迪克特 1 博尔特,佩奥 1 Ho,梅尔文 1 安布罗斯·卡波西 1 科瓦奇,安德拉斯 1 尼古拉斯·桑古亚德 1 帕维尔·塞卡茨基 系列 三 计算机科学中的逻辑方法 1 新物理学杂志 1 拓扑与分析杂志 全部的 前5名字段 8 计算机科学(68-XX) 4 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 整体分析,流形分析(58至XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 7出版物有被引用14中的次7文件 引用人▼ 年份▼ 细胞豪定理。 Zbl 07299475号 博尔特,佩奥;汤姆·赫肖维茨;安布罗斯·拉丰 4 2020 基于monad和操作语义的模块(扩展版本)。 Zbl 07577567号 安德烈·赫肖维茨;汤姆·赫肖维茨;安布罗斯·拉丰 三 2022 Cartan-Hadamard的边界版本和刚性应用。 Zbl 1190.53031号 Jean-François女士;拉丰特 三 2009 通过高阶表示对单子进行模块化规范。 Zbl 07559272号 阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2019 高级签名和初始语义。 Zbl 07533329号 阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2018 可呈现的签名和初始语义。 Zbl 07379288号 阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2021 对于有限归纳法,归纳法就足够了。 Zbl 07756111号 安布罗斯·卡波西;科瓦奇,安德拉斯;安布罗斯·拉丰 1 2020 单体上的模块和操作语义(扩展版本)。 Zbl 07577567号 安德烈·赫肖维茨;汤姆·赫肖维茨;安布罗斯·拉丰 三 2022 可呈现的签名和初始语义。 Zbl 07379288号 阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2021 细胞豪定理。 兹比尔07299475 博尔特,佩奥;汤姆·赫肖维茨;安布罗斯·拉丰 4 2020 对于有限归纳法,归纳法就足够了。 Zbl 07756111号 安布罗斯·卡波西;科瓦奇,安德拉斯;安布罗斯·拉丰 1 2020 通过高阶表示对单子进行模块化规范。 Zbl 07559272号 阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2019 高级签名和初始语义。 Zbl 07533329号 阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2018 Cartan-Hadamard的边界版本和刚性应用。 Zbl 1190.53031号 Jean-François女士;拉丰特 三 2009 所有引用出版物 排名前五的出版物 全部的 前5名12位作者引用 5 安德烈·赫肖维茨 5 安布罗斯·拉丰 4 马可·马格西 三 汤姆·赫肖维茨 2 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 安布罗斯,拉丰 1 西蒙·博利埃 1 安布罗斯·卡波西 1 克里斯蒂安·萨特勒 1 菲利波·塞斯蒂尼 1 汤姆,赫肖维茨 连载1篇 4 计算机科学中的逻辑方法 在3个字段中引用 7 计算机科学(68-XX) 4 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文