编辑配置文件(在新选项卡中打开) 中基尔胡尔 合著者距离 作者ID: hur.chung-kil先生 发布日期: 中基尔胡尔 外部链接: MGP公司 编入索引的文档: 9出版物自2007年起 1名编辑贡献 合著者: 4位合著者具有7联合出版物 74位合作作者 全部的 前5名合著者 1 单作者的 5 马塞洛·菲奥雷(Marcelo P.Fiore)。 2 尼克·本顿 1 西蒙·福斯特 1 安德鲁·肯尼迪。 1 康诺·托马斯·麦克布莱德 1 阿迪蒂亚·维塔尔·诺里 1 Rajamani,Sriram K。 1 塞尔瓦·塞缪尔 1 詹姆斯·C·P·伍德科克。 系列 1 理论计算机科学 1 自动推理杂志 1 计算机科学中的逻辑方法 领域 8 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 一般代数系统(08-XX) 三 范畴理论;同调代数(18-XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用59中的次50文件 引用人▼ 年份▼ 二阶等式逻辑(扩展抽象)。 Zbl 1287.03078号 马塞洛·菲奥雷;中基尔胡尔 14 2010 关于方程组自由代数的构造。 Zbl 1170.18006号 马塞洛·菲奥雷;中基尔胡尔 14 2009 双正交性、阶跃诱导和编译器正确性。 Zbl 1302.68083号 尼克·本顿;中基尔胡尔 12 2009 Coq中的强类型术语表示。 Zbl 1269.68041号 尼克·本顿;中基尔胡尔;安德鲁·肯尼迪。;康纳·麦克布赖德 7 2012 术语方程系统和逻辑(扩展抽象)。 Zbl 1286.03120号 马塞洛·菲奥雷;中基尔胡尔 6 2008 赤道系统和自由结构。(扩展摘要)。 Zbl 1171.18301号 马塞洛·菲奥雷;中基尔胡尔 6 2007 概率程序的可证明正确的采样器。 Zbl 1366.68024号 中基尔胡尔;阿迪蒂亚·诺里。;Rajamani,Sriram K。;塞尔瓦·塞缪尔 4 2015 使用Isabelle/HOL中的交互树对状态丰富过程进行了形式验证的模拟。 Zbl 07730622号 西蒙·福斯特;中基尔胡尔;吉姆·伍德科克 1 2021 使用Isabelle/HOL中的交互树对状态丰富过程进行了形式验证的模拟。 Zbl 07730622号 西蒙·福斯特;中基尔胡尔;吉姆·伍德科克 1 2021 概率程序的可证明正确的采样器。 Zbl 1366.68024号 中基尔胡尔;阿迪蒂亚·诺里。;Rajamani,Sriram K。;塞尔瓦·塞缪尔 4 2015 Coq中的强类型术语表示。 Zbl 1269.68041号 尼克·本顿;中基尔胡尔;安德鲁·肯尼迪。;康纳·麦克布赖德 7 2012 二阶方程逻辑(扩展抽象)。 Zbl 1287.03078号 马塞洛·菲奥雷;中基尔胡尔 14 2010 关于方程组自由代数的构造。 兹比尔1170.18006 马塞洛·菲奥雷;中基尔胡尔 14 2009 双正交性、阶跃诱导和编译器正确性。 Zbl 1302.68083号 尼克·本顿;中基尔胡尔 12 2009 术语方程系统和逻辑(扩展抽象)。 Zbl 1286.03120号 马塞洛·菲奥雷;中基尔胡尔 6 2008 等式系统和自由构造。(扩展摘要)。 Zbl 1171.18301号 马塞洛·菲奥雷;中基尔胡尔 6 2007 所有引用出版物 前5名被引用出版物 全部的 前5名70位作者引用 6 安德烈·赫肖维茨 6 安布罗斯·拉丰 5 马塞洛·菲奥雷(Marcelo P.Fiore)。 5 马可·马格西 4 阿伦斯,贝内迪克特 4 马科托·哈马纳 4 汤姆·赫肖维茨 4 碧姬·品特卡 三 默多克·詹姆斯·加贝 三 中基尔胡尔 三 亚历山大·库兹 三 康诺·托马斯·麦克布莱德 三 Daniela Luan Petrisan 2 纪尧姆·阿拉伊斯 2 尼克·本顿 2 安德鲁·肯尼迪。 2 Lucyshyn-Wright,Rory B。 2 阿尔贝托·莫米利亚诺 2 杰森·帕克。 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 南卡罗来纳州斯坦坎普。 2 马丁·苏尔兹曼 2 斯特凡·韦尔 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 阿姆兰·阿马齐格 1 安布罗斯,拉丰 1 罗伯特·艾奇 1 尼古拉斯·贝登 1 拉尔斯·比克达尔 1 布鲁内尔,阿洛伊斯 1 安德鲁·凯夫 1 詹姆斯·查普曼(James T.E.Chapman)。 1 瑟·特凡·乔巴赫 1 克拉克、戴夫 1 Gilles Dowek 1 费雷拉,Francisco H.G。 1 丹尼尔·弗里德兰德 1 马可·加博阿迪 1 Dan R.吉卡。 1 Aliya Hameer 1 毛罗·贾斯克利奥夫 1 泽维尔·勒罗伊 1 多雷尔·卢卡努 1 詹姆斯·麦金纳 1 尤金尼奥·莫吉 1 约阿希姆·尼伦 1 米盖尔·帕加诺 1 马可·帕特里格纳尼 1 马尔科·帕维奥蒂 1 戈登·普洛金(Gordon D.Plotkin)。 1 罗德里格斯、莱昂纳多·吉梅内斯 1 格里高·罗什乌 1 弗拉德·鲁苏 1 大卫·萨贝尔 1 菲利普·萨维尔 1 史蒂文·施费尔 1 曼弗雷德·施密特·沙乌 1 汤姆·施里杰弗斯 1 施温哈默(Jan Schwinghammer) 1 菲利普·西奇科夫斯基 1 凯瑟琳·斯塔克 1 萨姆·斯塔顿 1 卡斯珀·斯文森 1 大卫·希伯多 1 汤姆,赫肖维茨 1 尼科斯·齐夫列科斯 1 范登伯格,比尔特 1 卡斯滕·瓦明 1 尼古拉斯·吴 1 杨志轩 全部的 前5名11篇连载文章中引用 7 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 5 理论计算机科学 4 函数编程杂志 2 自动推理杂志 1 信息与计算 1 计算的形式方面 1 应用的分类结构 1 范畴的理论与应用 1 计算机语言、系统和结构 1 应用逻辑杂志 全部的 前5名在6个字段中引用 40 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 14 范畴理论;同调代数(18-XX) 7 一般代数系统(08-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文