编辑配置文件(在新选项卡中打开) 杰拉德·休特。 合著者距离 作者ID: 集线器.分级-p 发布日期: 杰拉德·休特;杰拉德·休特;Huet,G。;休特,G.P。;杰拉德·休特。 更多。。。较少的 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考·论文.fr 编入索引的文档: 37出版物自1973年以来 4作为编辑的贡献·2进一步捐款 合著者: 13合著者具有15联合出版物 380位合作作者 全部的 前5名合著者 25 单作者的 4 可口、蒂埃里 2 弗朗索瓦·法赫斯 2 伯纳德·朗 2 珍妮·雅克·利维 2 戈登·普洛金(Gordon D.Plotkin)。 2 贝诺·拉泽特 1 啊,阿尔弗雷德·瓦伊诺 1 Jean-Michel,Autebert 1 乔夫罗伊·博基尔 1 伊夫·贝托特 1 沃尔夫冈·比贝尔 1 艾伦·W·比尔曼。 1 吕克·博阿松 1 书,罗纳德·弗农 1 贾努斯·安东尼·布尔佐夫斯基 1 卡雷尔·库利克二世 1 皮埃尔·卢伊斯·居里 1 詹姆斯·德尔格兰德。 1 维罗尼克·多恩佐·古格(Veronique Donzeau-Gouge) 1 乔斯特·恩格尔弗里特 1 西摩金斯伯格 1 乔纳森·戈德斯汀 1 雨果·赫贝林 1 Jean-Marie Hullot公司 1 菲利普·乔兰德 1 Jourrand博士。 1 吉勒斯·卡恩 1 米歇尔·拉特奥 1 博克哈德·莫尼恩 1 约翰·米洛波洛斯 1 莫里斯·尼瓦特 1 Derek C.奥本。 1 安托万·佩蒂特。 1 格列泽戈兹·罗森贝格 1 阿尔托·库斯塔·萨洛马 1 贴纸,马克·E。 1 伊万·哈尔·苏德伯勒 全部的 前5名系列 5 理论计算机科学 3 MSCS公司。计算机科学中的数学结构 3 函数编程杂志 2 计算机与系统科学杂志 1 信息学报 1 信息处理信件 1 信息和控制 1 计算机协会杂志 1 符号计算杂志 1 信息与计算 1 Zapiski Nauchnykh研讨会POMI 1 欧洲理论计算机科学协会公报 1 计算机科学课堂讲稿 全部的 前5名领域 37 计算机科学(68至XX) 21 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 2 一般代数系统(08-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 偏微分方程(35-XX) 1 可变形固体力学(74-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有1091年被引用中的次908文件 引用人▼ 年份▼ 合流约简:术语重写系统的抽象属性和应用。 Zbl 0458.68007号 杰拉德·休特 356 1980 结构微积分。 Zbl 0654.03045号 可口、蒂埃里;杰拉德·休特 197 1988 类型化演算的统一算法。 兹伯利0337.68027 休特,G.P。 80 1975 用构造器在方程理论中通过归纳法证明。 Zbl 0532.68041号 杰拉德·休特;Jean-Marie Hullot公司 59 1982 Knuth-Bendix补全算法正确性的完整证明。 Zbl 0465.68014号 杰拉德·休特 53 1981 类型化\(\bar\lambda \)演算的统一算法。 兹比尔0332.02035 休特,G.P。 48 1975 证明并应用用二阶模式表示的程序变换。 Zbl 0389.68008号 杰拉德·休特;伯纳德·朗 48 1978 拉链。 Zbl 0893.68014号 杰拉德·休特 43 1997 构造:数学机械化的高阶证明系统。 Zbl 0581.03007号 可口、蒂埃里;杰拉德·休特 40 1985 方程理论中的整套统一器和匹配器。 Zbl 0615.03002号 弗朗索瓦·法赫斯;杰拉德·休特 33 1986 三阶逻辑中统一的不确定性。 兹比尔0257.02038 杰拉德·休特。 26 1973 生成齐次线性丢番图方程解的基础的算法。 Zbl 0377.10011号 杰拉德·休特 23 1978 (lambda)-演算中的剩余理论:一种形式化的发展。 Zbl 0826.03008号 杰拉德·休特 18 1994 方程理论中的整套统一器和匹配器。 Zbl 0545.03003号 弗朗索瓦·法赫斯;杰拉德·休特 12 1983 函数编程的逻辑基础。 Zbl 0709.68003号 11 1990 概念数学与信息形式计算结构。 Zbl 0627.03045号 可口、蒂埃里;杰拉德·休特 6 1987 Böhm定理的分析。 Zbl 0794.03022号 杰拉德·休特 5 1993 围绕Coq进行了30年的研究和开发。 Zbl 1284.68517号 杰拉德·休特;雨果·赫贝林 4 2014 类型lambda演算中的统一。 Zbl 0361.02037号 杰拉德·休特 4 1975 30年后的高阶统一(扩展抽象)。 Zbl 1013.68541号 杰拉德·休特 3 2002 逻辑环境。 Zbl 0810.68059号 3 1993 面向结构的程序编辑器:走向计算机辅助编程的第一步。 Zbl 0321.68020号 Donzeau Gouge,V。;Huet,G。;Kahn,G。;Lang,B。;利维,J.J。 3 1975 逻辑框架。1990年5月7日至11日在法国索菲亚·安蒂波利斯举行的第一届年度研讨会“逻辑框架:设计、实施和实验”会议记录。 Zbl 0741.00063号 2 1991 常规Böhm树。 Zbl 0923.03022号 杰拉德·休特 2 1998 关于构造数学、直觉主义类型理论和高阶演绎的精选参考书目。 Zbl 0591.68036号 可口、蒂埃里;杰拉德·休特 2 1985 形式语言理论。观点和公开问题。(1979年12月10日至14日在加利福尼亚州圣巴巴拉举行的研讨会记录)。 Zbl 0545.68065号 2 1980 模块化传感器的反应式发动机。 Zbl 1132.68448号 杰拉德·休特;贝诺·拉泽特 2 2006 一个用于形态和语音处理的功能工具包,应用于梵语标记器。 Zbl 1086.68628号 杰拉德·休特 2 2005 公理化、证明和算法的形式规范:coq证明助手中的评论案例研究。 Zbl 0882.68131号 杰拉德·休特 1 1997 Śré,Yantra几何学。 Zbl 1013.68270号 杰拉德·休特 1 2002 归纳原理在构造演算中形式化。 Zbl 0624.68077号 杰拉德·休特 1 1987 扣除和计算。 Zbl 0634.68018号 杰拉德·休特 1 1987 归纳原理在构造演算中形式化。 Zbl 0657.68013号 杰拉德·休特 1 1988 从语义学到计算机科学。纪念吉尔斯·卡恩的文章。 Zbl 1177.68004号 1 2009 围绕Coq进行了30年的研究和开发。 Zbl 1284.68517号 杰拉德·休特;雨果·赫贝林 4 2014 从语义学到计算机科学。纪念吉尔斯·卡恩的文章。 Zbl 1177.68004号 1 2009 模块化传感器的反应式发动机。 兹比尔1132.68448 杰拉德·休特;贝诺·拉泽特 2 2006 一个用于形态学和语音处理的功能工具包,应用于梵语标记。 兹比尔1086.68628 杰拉德·休特 2 2005 30年后的高阶统一(扩展抽象)。 Zbl 1013.68541号 杰拉德·休特 3 2002 Śré,Yantra几何学。 Zbl 1013.68270号 杰拉德·休特 1 2002 常规Böhm树。 Zbl 0923.03022号 杰拉德·休特 2 1998 拉链。 Zbl 0893.68014号 杰拉德·休特 43 1997 公理化、证明和算法的形式规范:coq证明助手中的评论案例研究。 Zbl 0882.68131号 杰拉德·休特 1 1997 (lambda)-演算中的剩余理论:一种形式化的发展。 Zbl 0826.03008号 杰拉德·休特 18 1994 Böhm定理的分析。 Zbl 0794.03022号 杰拉德·休特 5 1993 逻辑环境。 Zbl 0810.68059号 3 1993 逻辑框架。1990年5月7日至11日在法国索菲亚·安蒂波利斯举行的第一届年度研讨会“逻辑框架:设计、实施和实验”会议记录。 Zbl 0741.00063号 2 1991 函数编程的逻辑基础。 Zbl 0709.68003号 11 1990 结构微积分。 Zbl 0654.03045号 可口、蒂埃里;杰拉德·休特 197 1988 归纳原理在构造演算中形式化。 Zbl 0657.68013号 杰拉德·休特 1 1988 概念数学与信息形式计算结构。 Zbl 0627.03045号 可口、蒂埃里;杰拉德·休特 6 1987 归纳原理在构造演算中形式化。 Zbl 0624.68077号 杰拉德·休特 1 1987 扣除和计算。 Zbl 0634.68018号 杰拉德·休特 1 1987 方程理论中的整套统一器和匹配器。 Zbl 0615.03002号 弗朗索瓦·法赫斯;杰拉德·休特 33 1986 构造:数学机械化的高阶证明系统。 Zbl 0581.03007号 可口、蒂埃里;杰拉德·休特 40 1985 关于构造数学、直觉主义类型理论和高阶演绎的精选参考书目。 兹比尔0591.68036 可口、蒂埃里;杰拉德·休特 2 1985 方程理论中的一整套统一器和匹配器。 兹伯利0545.03003 弗朗索瓦·法赫斯;杰拉德·休特 12 1983 用构造器在方程理论中通过归纳法证明。 Zbl 0532.68041号 杰拉德·休特;Jean-Marie Hullot公司 59 1982 Knuth-Bendix补全算法正确性的完整证明。 Zbl 0465.68014号 杰拉德·休特 53 1981 合流约简:术语重写系统的抽象属性和应用。 Zbl 0458.68007号 杰拉德·休特 356 1980 形式语言理论。观点和公开问题。(1979年12月10日至14日在加利福尼亚州圣巴巴拉举行的研讨会记录)。 Zbl 0545.68065号 2 1980 证明并应用用二阶模式表示的程序变换。 Zbl 0389.68008号 杰拉德·休特;伯纳德·朗 48 1978 生成齐次线性丢番图方程解的基础的算法。 Zbl 0377.10011号 杰拉德·休特 23 1978 类型化演算的统一算法。 兹伯利0337.68027 休特,G.P。 80 1975 类型化演算的统一算法。 Zbl 0332.02035号 休特,G.P。 48 1975 类型lambda演算中的统一。 Zbl 0361.02037号 杰拉德·休特 4 1975 面向结构的程序编辑器:走向计算机辅助编程的第一步。 Zbl 0321.68020号 Donzeau-Gouge,V。;Huet,G。;G.卡恩。;B.朗。;利维,J.J。 3 1975 三阶逻辑中统一的不确定性。 Zbl 0257.02038号 杰拉德·休特。 26 1973 所有引用出版物 前5名被引用出版物 全部的 前5名971位作者引用 13 书,罗纳德·弗农 13 纳鸿·德肖维茨 12 扬·威廉·克鲁普 12 弗里德里希·奥托 12 Schmidt Schauß,曼弗雷德 11 弗兰兹·巴德 11 Jean-Pierre Jouannaud 11 巴利亚特·纳伦德兰 11 托比亚斯·尼普科 10 毛里西奥·阿亚拉·林科恩 10 Gilles Dowek 10 克洛德·基什内尔 9 布鲁诺·库塞尔 9 阿尔特·米德尔多普 9 戴尔·艾伦·米勒 8 三木赫尔曼 8 杰拉德·休特。 8 Fairouz D.卡马雷丁。 8 迪帕克·卡普尔 8 何塞·梅塞盖尔·瓜伊塔 8 塞尼泽格斯,热罗 8 文森特·范·奥斯特罗姆 7 丹尼尔·多尔蒂(Daniel J.Dougherty)。 7 Farmer,William M。 7 让·H·盖利尔。 7 埃马纽埃尔·库纳利斯 7 菲利普·马尔博斯 7 劳伦斯·查尔斯·保尔森 7 弗兰克·芬宁 7 米歇尔·鲁西诺维奇 6 亚历山大·本特坎普 6 玛丽亚·保拉(Maria Paola Bonacina) 6 Jean-François Dufourd 6 戈帕兰·纳达图尔 6 钱振宇 6 韦恩·斯奈德 6 福格勒、海科 6 佩塔·武克米罗维奇 5 David A.Basin。 5 贾斯敏·克里斯蒂安·布兰切特 5 弗雷德里克·布兰奎 5 费尔南德斯,马里贝尔 5 尼尔·加尼 5 Nao Hirokawa 5 Jieh乡 5 约尔迪·利维 5 丰满,细节 5 佛罗里达州拉贝 5 乔纳森·塞尔丁。 5 图雷特,索菲 5 瓦格伏尔盖,桑多尔 5 张汉涛 4 安德鲁斯,彼得·B·。 4 罗伯特·艾奇 4 尤尔根阿文豪斯 4 利奥·巴赫迈尔 4 阿黛尔·布胡拉 4 安娜·波夫 4 可口、蒂埃里 4 卡瓦尔坎蒂·德·莫拉(Cavalcanti de Moura)、弗拉维奥·莱昂纳多(Flávio Leonardo) 4 约尔格恩德鲁利斯 4 伯特伦·费尔根豪尔 4 艾米·费尔蒂(Amy P.Felty)。 4 Masami Hagiya 4 Furio Honsell 4 帕特里夏·约翰 4 赫莱内·基什内尔 4 皮埃尔·莱斯坎 4 Rob Nederpelt公司 4 沃纳·纳特 4 大卫·艾伦(David Alan),Plaisted 4 美国雷迪。 4 安德烈·斯克洛夫 4 格特·斯莫尔卡 4 富山,吉藤义彦 4 哈拉尔德·赞克 3 哈比卜·阿卜杜拉布 3 阿尔特·卡奇,哈桑 3 佛朗哥·巴巴内拉 3 克里斯托夫·埃瓦尔德·本兹穆勒 3 莱因哈德·邦根 3 比尔科特,汉斯·尤根 3 海宁·克里斯蒂安森 3 霍雷修·西尔斯泰 3 罗伯特·李,警察 3 奥利维尔·丹维 3 马克斯·多切特 3 克利斯朵夫·德林格 3 约尔格登津格 3 亚历杭德罗·迪亚斯·卡洛 3 沃尔克·迪克特 3 多米尼克·达根 3 本杰明·杜邦 3 彼得·戴比杰 3 乔斯特·恩格尔弗里特 3 克里斯蒂安·弗劳格尼 3 伏玉溪 3 哈拉尔甘辛格 3 简·赫尔曼·杰弗斯 3 约瑟夫·阿马迪·戈根 …还有871名作者 全部的 前5名96篇连载文章中引用 181 理论计算机科学 63 符号计算杂志 46 自动推理杂志 39 信息与计算 24 MSCS公司。计算机科学中的数学结构 23 函数编程杂志 15 信息处理信件 15 纯逻辑与应用逻辑年鉴 13 计算的形式方面 10 计算机科学中的逻辑方法 9 信息学报 9 人工智能 9 纯粹与应用代数杂志 9 数学系统理论 8 符号逻辑杂志 8 高阶和符号计算 8 应用逻辑杂志 7 计算机科学与技术杂志 7 工程、通信和计算中的应用代数 7 数学与人工智能年鉴 6 计算机与系统科学杂志 6 RAIRO,Informatique Théorique公司 6 程序设计中的逻辑和代数方法杂志 5 逻辑程序设计理论与实践 5 ACM计算逻辑事务 4 控制论 4 RAIRO公司。Informatique Théorique et Applications公司 3 国际代数与计算杂志 3 计算机基础理论 2 计算机与数学及其应用 2 模糊集与系统 2 信息科学 2 代数杂志 2 数学期刊 2 半群论坛 2 国际计算机科学基础杂志 2 国际计算机数学杂志 2 模式识别 2 Indagationes Mathematicae公司。新系列 2 逻辑、语言与信息杂志 2 应用的分类结构 2 计算系统理论 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 1 离散应用数学 1 离散数学 1 数学分析与应用杂志 1 数学物理杂志 1 数学物理中的字母 1 数学信使 1 数学进展 1 代数与逻辑 1 代数普遍性 1 比特币 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 国际计算机与信息科学杂志 1 组合理论杂志。系列A 1 伦敦数学学会杂志。第二系列 1 哲学逻辑杂志 1 语言学与哲学 1 模拟中的数学与计算机 1 美国数学学会回忆录 1 圣母院形式逻辑杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 西伯利亚数学杂志 1 Studia Logica公司 1 合成 1 美国数学学会汇刊 1 计算机程序设计科学 1 新一代计算 1 国际近似推理杂志 1 机器学习 1 计算几何 1 美国数学学会公报。新系列 1 数学逻辑档案 1 控制论与系统分析 1 代数组合数学杂志 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 组合数学电子杂志 1 符号逻辑公报 1 范畴的理论与应用 1 美国医学会杂志 1 LMS计算与数学杂志 1 代数和几何拓扑 1 康普特斯·伦德斯。数学。巴黎科学院 1 代数与离散数学 1 理论计算机科学电子笔记 1 泛逻辑 1 第比利斯数学杂志 1 组、复杂性、密码学 1 形式化推理杂志 1 《真实科学院评审》(Revista de la Real Academia de Ciencias Exactas,Físicas and Naturales)。意甲:马特马斯。RACSAM公司 1 RAIRO公司。理论信息学及其应用 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名29个字段中引用 788 计算机科学(68至XX) 410 数学逻辑和基础(03-XX) 53 群论与推广(20-XX) 35 范畴理论;同调代数(18-XX) 25 一般代数系统(08-XX) 15 组合数学(05-XX) 10 数论(11-XX) 10 结合环与代数(16-XX) 9 交换代数(13-XX) 8 有序,格,有序代数结构(06-XX) 8 代数拓扑(55-XX) 7 历史和传记(01-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 非结合环和代数(17-XX) 4 凸和离散几何(52至XX) 4 流形和细胞复合体(57至XX) 3 数值分析(65-XX) 3 量子理论(81-XX) 3 运筹学、数学规划(90-XX) 3 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 几何图形(51至XX) 2 统计力学,物质结构(82-XX) 2 数学教育(97-XX) 1 代数几何(14-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.