×
作者ID: 集线器.分级-p最近由“Huet,Gerard P.”撰写的zbMATH文章
发布日期: 杰拉德·休特;杰拉德·休特;Huet,G。;休特,G.P。;杰拉德·休特。
外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考·论文.fr
编入索引的文档: 37出版物自1973年以来
4作为编辑的贡献·2进一步捐款
合著者: 13合著者具有15联合出版物
380位合作作者

按年份列出的出版物

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名

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.数学、物理和工程科学

按年份列出的引文

数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.