编辑配置文件(在新选项卡中打开) 安德鲁·庞德 合著者距离 作者ID: 彭·安德鲁 发布日期: 安德鲁·庞德 已编制索引的文档: 1出版物自2016年起 合著者: 3位合著者具有1联合出版物 126位合作作者 合著者 0 单作者的 1 傅鹏 1 叶卡捷琳娜·科门丹茨卡亚 1 汤姆·施里杰弗斯 系列 领域 1 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用8次8文件 引用人▼ 年份▼ 证明相关的同胚分辨率。 Zbl 1475.68054号 傅鹏;叶卡捷琳娜·科门丹茨卡亚;汤姆·施里杰弗斯;安德鲁·庞德 8 2016 证明相关的同胚分辨率。 兹比尔1475.68054 傅鹏;叶卡捷琳娜·科门丹茨卡亚;汤姆·施里杰弗斯;安德鲁·庞德 8 2016 所有引用出版物 前5名被引用出版物 全部的 前5名12位作者引用 6 叶卡捷琳娜·科门丹茨卡亚 2 李,岳 2 权力,约翰 1 奥曼·波霍拉,约翰内斯 1 海宁·巴索尔德 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 1 傅鹏 1 穆阿·约翰逊 1 拉尔夫·马修斯 1 鲁伊斯·平托(Luís F.Pinto)。 1 德米特里·罗兹普洛哈斯 引用于4个系列 2 逻辑程序设计理论与实践 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 7 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 按年份列出的引文