Gérard Huet - Concepedia

Author

Gérard Huet

Institut national de recherche en sciences et technologies du numérique

Also Known As

Gerard Huet, Gerard P. Huet, GÉRARD HUET, Gérard Huet, Huet, G\'erard, Huet, GÃ©rard, Huet, Gérard, Hutchison, David

102

Publications

6.6K

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique

About

Gérard Huet is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	14	2.3K
2	Computer Science	11	11	2.2K
3	Language Studies	5	5	1.2K
4	Data Science	3	3	1.4K
5	Arts	1	1	11

Gérard Huet

Publications

5.1K

Citations

H-Index

Page 1

	Year	Citations
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems Gérard Huet Journal of the ACM EngineeringData CurationTerm Rewriting SystemsBibliometricsSemantics	1980	1.1K
The calculus of constructions Thierry Coquand, Gérard Huet Information and Computation SyntaxAutomated ReasoningType TheoryLanguage StudiesLambda Calculus	1988	1.1K
The Coq proof assistant : reference manual, version 6.1 Bruno Barras, Samuel Boutin, Cristina Cornes, OpenGrey (Institut de l'Information Scientifique et Technique)	1997	985
The Zipper Gérard Huet Journal of Functional Programming Tree LanguageNifty Data StructureEngineeringInformation RetrievalNifty Name	1997	308
Proofs by induction in equational theories with constructors Gérard Huet, Jean-Marie Hullot Journal of Computer and System Sciences Equational TheoriesAutomated ReasoningProof TheoryProof SystemInductive Reasoning	1982	261
A complete proof of correctness of the Knuth-Bendix completion algorithm Gérard Huet Journal of Computer and System Sciences Mathematical ProgrammingComputational Complexity TheoryEngineeringComplete ProofProof Complexity	1981	180
Programming Environments Based on Structured Editors: The MENTOR Experience, Véronique Viguié Donzeau-Gouge, Gérard Huet, Gilles Kahn, HAL (Le Centre pour la Communication Scientifique Directe) Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisProgramming Language Teaching	1980	175
Computations in Orthogonal Rewriting Systems, II. Gérard Huet, Jean-Jacques Lévy Regulated RewritingRewriting SystemMatrix AnalysisOrthogonal Rewriting Systems	1991	139
The Coq proof assistant user's guide : version 5.6 Gilles Dowek, Amy Felty, Hugo Herbelin, HAL (Le Centre pour la Communication Scientifique Directe)	1991	124
The undecidability of unification in third order logic Gérard Huet Information and Control Non-classical LogicEngineeringThird Order LogicAutomated ReasoningFormal Methods	1973	103

Page 1