编辑配置文件(在新选项卡中打开) 纪尧姆·伯勒 合著者距离 作者ID: burel.guillaume餐厅 发布日期: 纪尧姆·伯勒 已编制索引的文档: 15出版物自2000年起 合著者: 9合著者具有6联合出版物 233位合作作者 全部的 前5名合著者 8 单作者的 三 克洛德·基什内尔 1 纪尧姆·伯里 1 拉斐尔·考德利埃 1 西蒙·克鲁恩斯 1 大卫·德拉哈耶 1 Gilles Dowek 1 皮埃尔·哈尔马格兰 1 奥利维尔·赫尔曼特 1 蒋莹 系列 1 Traitement du信号 1 信息与计算 1 自动推理杂志 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 领域 12 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 1 地球物理学(86-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用34中的次18文件 引用人▼ 年份▼ 使用抽象补全重新获得演绎模中的割可容许性。 Zbl 1191.68359号 纪尧姆·伯勒;克洛德·基什内尔 6 2010 演绎模实验。 Zbl 1341.68185号 纪尧姆·伯勒 5 2011 补全是抽象规范系统推理的一个实例。 Zbl 1132.03314号 纪尧姆·伯勒;克洛德·基什内尔 4 2006 通过抽象补全来减少演绎模中的消去。 Zbl 1132.03315号 纪尧姆·伯勒;克洛德·基什内尔 4 2007 将演绎模嵌入到证明程序中。 Zbl 1287.68152号 纪尧姆·伯勒 4 2010 一阶理论自动推理:当演绎模理论与实践相遇时。 Zbl 1468.68282号 纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰德;奥利维尔·赫尔曼特 三 2020 通过一阶理论模有效地模拟高阶算法。 Zbl 1218.03007号 纪尧姆·伯勒 2 2011 通过饱和来减少可接受性。 Zbl 1416.68154号 纪尧姆·伯勒 2 2014 直觉逻辑中的自动化理论。 Zbl 1193.03026号 纪尧姆·伯勒 2 2009 演绎模中的无限证明长度加速。 兹比尔1179.03059 纪尧姆·伯勒 2 2007 一阶理论自动推理:当演绎模理论与实践相遇时。 Zbl 1468.68282号 纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰德;奥利维尔·赫尔曼特 三 2020 通过饱和来减少可接受性。 兹伯利1416.68154 纪尧姆·伯勒 2 2014 演绎模实验。 Zbl 1341.68185号 纪尧姆·伯勒 5 2011 通过一阶理论模有效地模拟高阶算术。 Zbl 1218.03007号 纪尧姆·伯勒 2 2011 使用抽象补全重新获得演绎模中的割可容许性。 Zbl 1191.68359号 纪尧姆·伯勒;克洛德·基什内尔 6 2010 将演绎模嵌入到证明程序中。 Zbl 1287.68152号 纪尧姆·伯勒 4 2010 直觉逻辑中的自动化理论。 Zbl 1193.03026号 纪尧姆·伯勒 2 2009 通过抽象补全来减少演绎模中的消去。 Zbl 1132.03315号 纪尧姆·伯勒;克洛德·基什内尔 4 2007 演绎模中的无限证明长度加速。 Zbl 1179.03059号 纪尧姆·伯勒 2 2007 补全是抽象规范系统推理的一个实例。 Zbl 1132.03314号 纪尧姆·伯勒;克洛德·基什内尔 4 2006 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 5 纪尧姆·伯勒 三 纳鸿·德肖维茨 2 拉斐尔·考德利埃 2 大卫·德拉哈耶 2 奥利维尔·赫尔曼特 2 克洛德·基什内尔 1 艾哈迈德·巴亚特 1 玛丽亚·保拉(Maria Paola Bonacina) 1 布齐安·欣德·莉莉亚 1 乍得·布朗·爱德华 1 纪尧姆·伯里 1 朱莉·凯勒 1 曹、冯 1 陈树伟 1 马克西米利亚诺·克里斯蒂亚 1 凯瑟琳·杜布瓦 1 高建华 1 Thibault Gauthier 1 皮埃尔·哈尔马格兰德 1 科莱门·霍特曼 1 季凯良 1 Cezary卡利西克 1 刘军 1 贾尔斯·里格尔 1 西蒙·罗比拉德 1 约翰·罗辛 1 吉安弗兰科·罗西 1 杰夫·萨特克利夫 1 约瑟夫·乌尔班 1 徐,杨 1 易建兵 5篇连载文章中引用 三 自动推理杂志 1 信息科学 1 理论计算机科学 1 计算机科学与技术杂志 1 信息与计算 在2个字段中引用 14 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 按年份列出的引文