编辑配置文件（在新选项卡中打开） 扎卡里亚·奇哈尼 合著者距离 作者ID： 奇哈尼扎卡里亚 发布日期： 扎卡里亚·奇哈尼 已编制索引的文档： 6出版物自2013年起 合著者： 8位合著者具有6联合出版物 110合作作者 全部的 前5名合著者 0 单作者的 4 米勒，戴尔·艾伦 2 费边·雷诺 1 塞巴斯蒂安·巴丁 1 罗伯托·布兰科 1 弗朗索瓦·博伯特 1 托梅尔·利巴尔 1 布鲁诺·玛丽 1 吉赛尔·赖斯 系列 1 自动推理杂志 领域 6 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用35次21文件 引用人▼ 年份▼ 一阶逻辑中的基础证明证书。 Zbl 1381.68261号 扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 14 2013 证据的语义框架。 兹比尔1425.68371 扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 7 2017 证明人检查人员。 Zbl 1471.68305号 扎卡里亚·奇哈尼;托梅尔·利巴尔;吉赛尔·赖斯 5 2015 位向量理论的锐化约束规划方法。 Zbl 1489.68249号 扎卡里亚·奇哈尼;布鲁诺·玛丽;弗朗索瓦·博伯特;塞巴斯蒂安·巴丁 4 2017 隐式和显式证明之间的转换。 Zbl 1496.03039号 罗伯托·布兰科;扎卡里亚·奇哈尼;戴尔·米勒 三 2017 平等推理的证明证书。 Zbl 1394.68350号 扎卡里亚·奇哈尼;戴尔·米勒 2 2016 证据的语义框架。 Zbl 1425.68371号 扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 7 2017 位向量理论的锐化约束规划方法。 Zbl 1489.68249号 扎卡里亚·奇哈尼;布鲁诺·玛丽;弗朗索瓦·博伯特;塞巴斯蒂安·巴丁 4 2017 隐式和显式证明之间的转换。 Zbl 1496.03039号 罗伯托·布兰科;扎卡里亚·奇哈尼;戴尔·米勒 三 2017 平等推理的证明证书。 Zbl 1394.68350号 扎卡里亚·奇哈尼;戴尔·米勒 2 2016 证明人检查。 Zbl 1471.68305号 扎卡里亚·奇哈尼;托梅尔·利巴尔;吉赛尔·赖斯 5 2015 一阶逻辑中的基础证明证书。 Zbl 1381.68261号 扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 14 2013 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 三 扎卡里亚·奇哈尼 三 托梅尔·利巴尔 三 米勒，戴尔·艾伦 三 吉赛尔·赖斯 2 克劳迪奥·萨塞尔多蒂·科恩 2 马尔科·沃尔佩 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 布洛克-南内斯塔德，陶斯 1 纪尧姆·伯勒 1 考斯托夫·乔杜里 1 布鲁诺·杜特雷 1 毛罗·法拉利 1 佛罗伦萨，卡米洛 1 吉多·菲奥里诺 1 圣菲省格拉汉·伦格兰德 1 费卢西奥·圭迪 1 希思，昆廷 1 德扬·约瓦诺维奇 1 迈克尔·科尔哈斯 1 马可·曼托瓦尼 1 Kuldeep S.梅尔。 1 马希德·穆罕默德利塔伊里希 1 阿尔贝托·莫米利亚诺 1 Vivek Nigam先生 1 劳伦斯·查尔斯·保尔森 1 吉尔斯·佩森特 1 弗洛里安·拉贝 1 萨马尔·拉赫穆尼 1 费边·雷诺 1 哈拉尔德街 1 简·弗雷德里克·谢弗 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 尼克·苏尔塔纳 1 恩里科·塔西 1 王文喜 1 布鲁诺沃尔岑洛格尔古 5篇连载文章中引用 三 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 1 计算的形式方面 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 在3个字段中引用 18 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文