编辑配置文件（在新选项卡中打开） 马修·毕晓普 合著者距离 作者ID： 主教马修 发布日期： 马修·毕晓普;马特·毕晓普 已编制索引的文档： 5出版物自1991年起 1名编辑贡献 合著者： 7合著者具有5联合出版物 118位合作作者 全部的 前5名合著者 1 单作者的 4 安德鲁斯，彼得·B·。 2 苏尼尔·伊萨尔 2 丹·奈史密斯 2 弗兰克·芬宁 2 席宏伟 1 乍得·布朗·爱德华 1 安德森·C·A·纳西门托。 系列 1 自动推理杂志 1 计算机科学课堂讲稿 领域 6 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用29中的次26文件 引用人▼ 年份▼ TPS：经典类型理论的理论证明系统。 Zbl 0858.03017号 安德鲁斯，彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 19 1996 系统描述：TPS：类型理论的定理证明系统。 Zbl 0963.68530号 安德鲁斯，彼得·B·。;马修·毕晓普;乍得·E·布朗。 6 2000 TPS：经典类型理论的定理证明系统。 Zbl 1226.03026号 安德鲁斯，彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 三 2008 在集合、类型、固定点和棋盘上。 Zbl 1415.03012号 安德鲁斯，彼得·B·。;马修·毕晓普 1 1996 TPS：经典类型理论的定理证明系统。 Zbl 1226.03026号 安德鲁斯，彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 三 2008 系统描述：TPS：类型理论的定理证明系统。 Zbl 0963.68530号 安德鲁斯，彼得·B·。;马修·毕晓普;乍得·E·布朗。 6 2000 TPS：经典类型理论的理论证明系统。 Zbl 0858.03017号 安德鲁斯，彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 19 1996 在集合、类型、固定点和棋盘上。 Zbl 1415.03012号 安德鲁斯，彼得·B·。;马修·毕晓普 1 1996 所有引用的出版物 前5名被引用出版物 全部的 前5名被35位作者引用 6 克里斯托夫·埃瓦尔德·本兹穆勒 4 乍得·布朗·爱德华 三 杰夫·萨特克利夫 2 安德鲁斯，彼得·B·。 2 亚历山大·本特坎普 2 贾斯敏·克里斯蒂安·布兰切特 2 索菲·托雷特 2 佩塔·武克米罗维奇 2 乌韦·沃尔德曼 1 谢尔盖·阿特莫夫 1 谢尔盖·奥特西尔 1 迈克尔·比森。 1 马修·毕晓普 1 弗朗西斯科·科雷拉 1 马丁·德沙奈斯 1 卢卡斯·狄克逊 1 法默，威廉·M。 1 雅克·弗莱里奥特。 1 安德烈亚斯·弗兰克 1 迪迪埃·加米歇 1 塞萨里·卡利西克 1 迈克尔·科尔哈斯 1 托比亚斯·尼普科夫 1 劳伦斯·查尔斯·保尔森 1 克里斯蒂安·普雷霍弗 1 大卫·J·派姆。 1 钱振宇 1 弗洛里安·拉贝 1 谢克曼，Jörg H。 1 卡洛斯·茨丘迪·辛普森 1 亚历山大·斯蒂恩 1 尼克·苏尔塔纳 1 泰斯，弗兰克 1 约根·维拉德森 1 布鲁诺沃尔岑洛格尔古 全部的 前5名9连载 8 自动推理杂志 4 应用逻辑杂志 1 数学物理中的字母 1 理论计算机科学 1 符号计算杂志 1 AI通信 1 应用非经典逻辑杂志 1 符号逻辑公报 1 数学与人工智能年鉴 在3个字段中引用 22 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的引文