编辑配置文件（在新选项卡中打开） 查理·格里斯 合著者距离 作者ID: 灰熊 发布日期： 格里斯，查理 编入索引的文档： 1出版物自2019年起 合著者： 3位合著者具有1联合出版物 26位合作作者 合著者 0 单作者的 1 皮埃尔·布特里 1 朱利安·纳布克斯 1 帕斯卡·施雷克 系列 1 自动推理杂志 领域 1 数理逻辑与基础（03-XX） 1 几何形状（51至XX） 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物被引用7中的次7文件 引用人▼ 年份▼ 平行假设和连续性公理：使用Coq对直觉主义逻辑的机械化研究。 Zbl 1441.03011号 皮埃尔·布特里;查理·格里斯;朱利安·纳布克斯;帕斯卡·施雷克 7 2019 平行假设和连续性公理：使用Coq对直觉主义逻辑的机械化研究。 Zbl 1441.03011号 皮埃尔·布特里;查理·格里斯;朱利安·纳布克斯;帕斯卡·施雷克 7 2019 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 2 迈克尔·比森。 2 朱利安·纳布克斯 1 马克·比克福德 1 皮埃尔·布特里 1 罗兰·科希托 1 罗伯特·李，警察 1 亚当·格拉博夫斯基 1 贾尼契奇，普雷德拉格 1 阿里尔·凯利森（Ariel E.Kellison）。 1 菲利普·马里奇 1 维克托·五世（Victor V.Pambuccian）。 1 西莉亚·沙赫特 1 达尼耶拉·西米奇 1 弗里克·威迪杰克 5篇连载文章中引用 2 自动推理杂志 2 数学与人工智能年鉴 1 美国数学月刊 1 数学成绩 1 形式化数学 在3个字段中引用 5 数理逻辑与基础（03-XX） 5 几何形状（51至XX） 2 计算机科学（68至XX） 按年份列出的引文