编辑配置文件(在新选项卡中打开) 安德烈亚斯·努伊茨 合著者距离 作者ID: 努伊特斯·安德烈亚斯 发布日期: 安德烈亚斯·努伊茨 已编制索引的文档: 7出版物自2017年起,包括1个附加arXiv预打印 合著者: 8位合著者具有6联合出版物 119合著作者 全部的 前5名合著者 1 单作者的 4 多米尼克·德夫里塞 2 Lars Birkedal公司 2 丹尼尔·格拉泽 2 卡夫沃斯,G.A。 2 弗兰克·皮森斯 2 斯泰利奥斯·赞帕斯 1 乔里斯·塞勒曼斯 1 克里斯蒂安·威廉姆斯 系列 1 计算机科学中的逻辑方法 领域 4 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用20次16文件 引用人▼ 年份▼ 关联度。依赖型理论中参数性、无关性、特殊多态性、交集、并集和代数的统一框架。 Zbl 1453.03005号 安德烈亚斯·努伊茨;多米尼克·德夫里塞 9 2018 多模态依赖型理论。 Zbl 1498.03030号 丹尼尔·格拉泽;卡夫沃斯,G.A。;安德烈亚斯·努伊茨;Lars Birkedal公司 6 2021 多模态依赖型理论。 Zbl 1498.03029号 丹尼尔·格拉泽;卡夫沃斯,G.A。;安德烈亚斯·努伊茨;Lars Birkedal公司 4 2020 安全编译的明确方法。 Zbl 07314153号 斯泰利奥斯·赞帕斯;安德烈亚斯·努伊茨;多米尼克·德夫里塞;弗兰克·皮森斯 1 2020 多模态依赖型理论。 Zbl 1498.03030号 丹尼尔·格拉泽;卡夫沃斯,G.A。;安德烈亚斯·努伊茨;Lars Birkedal公司 6 2021 多模态依赖型理论。 Zbl 1498.03029号 丹尼尔·格拉泽;卡夫沃斯,G.A。;安德烈亚斯·努伊茨;Lars Birkedal公司 4 2020 安全编译的明确方法。 Zbl 07314153号 斯泰利奥斯·赞帕斯;安德烈亚斯·努伊茨;多米尼克·德夫里塞;弗兰克·皮森斯 1 2020 关联度。依赖型理论中参数性、无关性、特殊多态性、交集、并集和代数的统一框架。 Zbl 1453.03005号 安德烈亚斯·努伊茨;多米尼克·德夫里塞 9 2018 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 三 卡夫沃斯,G.A。 2 丹尼尔·格拉泽 2 安德烈亚斯·努伊茨 2 斯蒂芬妮·威里奇 1 卡明·阿巴特 1 丹尼尔·艾哈曼 1 安德烈·鲍尔 1 Lars Birkedal公司 1 Busi,Matteo公司 1 埃文·卡瓦洛 1 乔里斯·塞勒曼斯 1 普里塔姆·乔杜里 1 多米尼克·德夫里塞 1 哈雷III伊德斯 1 罗伯特·哈珀 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 胡杰森Z.S。 1 吉勒姆·贾伯 1 张俊英 1 弗拉基米尔·基西尔。 1 阿纳斯塔西亚·克拉夫丘克·基里柳克 1 巴赛尔·曼纳 1 莫格尔贝格、拉斯穆斯·埃杰勒斯 1 碧姬·品特卡 1 科林·里巴 1 Michael A.舒尔曼。 1 斯泰利奥斯·赞帕斯 1 上村,太极 1 尼科洛·维尔特里 1 安托万·沃伊扎德 全部的 前5名引用于7个系列 4 计算机科学中的逻辑方法 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 美国数学学会公报。新系列 1 函数编程杂志 1 符号逻辑公报 1 国际几何中心会议录 在4个字段中引用 11 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 1 几何图形(51至XX) 按年份列出的引文