×
Author ID: huet.gerard-p Recent zbMATH articles by "Huet, Gerard P."
Published as: Huet, Gérard; Huet, Gerard; Huet, G.; Huet, G. P.; Huet, Gerard P.
External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 1,086 times in 903 Documents Cited by Year
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
353
1980
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
197
1988
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
80
1975
Proofs by induction in equational theories with constructors. Zbl 0532.68041
Huet, Gérard; Hullot, Jean-Marie
59
1982
A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014
Huet, Gerard
53
1981
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
48
1978
A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035
Huet, G. P.
47
1975
The Zipper. Zbl 0893.68014
Huet, Gérard
43
1997
Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007
Coquand, Thierry; Huet, Gérard
40
1985
Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002
Fages, François; Huet, Gérard
33
1986
The undecidability of unification in third order logic. Zbl 0257.02038
Huet, Gerard P.
26
1973
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Zbl 0377.10011
Huet, Gerard
23
1978
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
18
1994
Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003
Fages, François; Huet, Gérard
12
1983
Logical foundations of functional programming. Zbl 0709.68003
11
1990
Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Zbl 0627.03045
Coquand, Thierry; Huet, Gérard
6
1987
An analysis of Böhm’s theorem. Zbl 0794.03022
Huet, Gérard
5
1993
Unification in typed lambda calculus. Zbl 0361.02037
Huet, Gerard
4
1975
30 years of research and development around Coq. Zbl 1284.68517
Huet, Gérard; Herbelin, Hugo
4
2014
A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020
Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J.
3
1975
Logical environments. Zbl 0810.68059
3
1993
The reactive engine for modular transducers. Zbl 1132.68448
Huet, Gérard; Razet, Benoît
2
2006
Formal language theory. Perspectives and open problems. (Proceedings of a symposium held in Santa Barbara, California, December 10–14, 1979). Zbl 0545.68065
2
1980
Regular Böhm trees. Zbl 0923.03022
Huet, Gérard
2
1998
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. Zbl 0591.68036
Coquand, Thierry; Huet, Gérard
2
1985
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. Zbl 1086.68628
Huet, Gérard
2
2005
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
2
1991
Higher order unification 30 years later (Extended abstract). Zbl 1013.68541
Huet, Gérard
2
2002
Deduction and computation. Zbl 0634.68018
Huet, Gérard
1
1987
Induction principles formalized in the calculus of constructions. Zbl 0657.68013
Huet, Gérard
1
1988
Śrī, Yantra geometry. Zbl 1013.68270
Huet, Gérard
1
2002
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
Axiomatisations, proofs, and formal specifications of algorithms: Commented case studies in the coq proof assistant. Zbl 0882.68131
Huet, Gérard
1
1997
Induction principles formalized in the calculus of constructions. Zbl 0624.68077
Huet, Gérard
1
1987
30 years of research and development around Coq. Zbl 1284.68517
Huet, Gérard; Herbelin, Hugo
4
2014
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
The reactive engine for modular transducers. Zbl 1132.68448
Huet, Gérard; Razet, Benoît
2
2006
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. Zbl 1086.68628
Huet, Gérard
2
2005
Higher order unification 30 years later (Extended abstract). Zbl 1013.68541
Huet, Gérard
2
2002
Śrī, Yantra geometry. Zbl 1013.68270
Huet, Gérard
1
2002
Regular Böhm trees. Zbl 0923.03022
Huet, Gérard
2
1998
The Zipper. Zbl 0893.68014
Huet, Gérard
43
1997
Axiomatisations, proofs, and formal specifications of algorithms: Commented case studies in the coq proof assistant. Zbl 0882.68131
Huet, Gérard
1
1997
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
18
1994
An analysis of Böhm’s theorem. Zbl 0794.03022
Huet, Gérard
5
1993
Logical environments. Zbl 0810.68059
3
1993
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
2
1991
Logical foundations of functional programming. Zbl 0709.68003
11
1990
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
197
1988
Induction principles formalized in the calculus of constructions. Zbl 0657.68013
Huet, Gérard
1
1988
Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Zbl 0627.03045
Coquand, Thierry; Huet, Gérard
6
1987
Deduction and computation. Zbl 0634.68018
Huet, Gérard
1
1987
Induction principles formalized in the calculus of constructions. Zbl 0624.68077
Huet, Gérard
1
1987
Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002
Fages, François; Huet, Gérard
33
1986
Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007
Coquand, Thierry; Huet, Gérard
40
1985
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. Zbl 0591.68036
Coquand, Thierry; Huet, Gérard
2
1985
Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003
Fages, François; Huet, Gérard
12
1983
Proofs by induction in equational theories with constructors. Zbl 0532.68041
Huet, Gérard; Hullot, Jean-Marie
59
1982
A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014
Huet, Gerard
53
1981
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
353
1980
Formal language theory. Perspectives and open problems. (Proceedings of a symposium held in Santa Barbara, California, December 10–14, 1979). Zbl 0545.68065
2
1980
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
48
1978
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Zbl 0377.10011
Huet, Gerard
23
1978
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
80
1975
A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035
Huet, G. P.
47
1975
Unification in typed lambda calculus. Zbl 0361.02037
Huet, Gerard
4
1975
A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020
Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J.
3
1975
The undecidability of unification in third order logic. Zbl 0257.02038
Huet, Gerard P.
26
1973
all top 5

Cited by 968 Authors

13 Book, Ronald Vernon
13 Dershowitz, Nachum
12 Otto, Friedrich
11 Baader, Franz
11 Jouannaud, Jean-Pierre
11 Klop, Jan Willem
11 Narendran, Paliath
11 Nipkow, Tobias
11 Schmidt-Schauß, Manfred
10 Ayala-Rincón, Mauricio
10 Dowek, Gilles
10 Kirchner, Claude
9 Courcelle, Bruno
9 Miller, Dale Allen
8 Hermann, Miki
8 Huet, Gerard P.
8 Kamareddine, Fairouz D.
8 Kapur, Deepak
8 Meseguer Guaita, José
8 Middeldorp, Aart
8 Sénizergues, Géraud
8 van Oostrom, Vincent
7 Dougherty, Daniel J.
7 Farmer, William M.
7 Gallier, Jean H.
7 Kounalis, Emmanuel
7 Malbos, Philippe
7 Paulson, Lawrence Charles
7 Pfenning, Frank
7 Rusinowitch, Michaël
6 Bentkamp, Alexander
6 Bonacina, Maria Paola
6 Dufourd, Jean-François
6 Nadathur, Gopalan
6 Qian, Zhenyu
6 Snyder, Wayne
6 Vogler, Heiko
6 Vukmirović, Petar
5 Basin, David A.
5 Blanchette, Jasmin Christian
5 Blanqui, Frédéric
5 Fernández, Maribel
5 Ghani, Neil
5 Hirokawa, Nao
5 Hsiang, Jieh
5 Levy, Jordi
5 Plump, Detlef
5 Rabe, Florian
5 Seldin, Jonathan P.
5 Tourret, Sophie
5 Vágvölgyi, Sándor
5 Zhang, Hantao
4 Andrews, Peter B.
4 Atkey, Robert
4 Avenhaus, Jürgen
4 Bachmair, Leo
4 Bouhoula, Adel
4 Bove, Ana
4 Coquand, Thierry
4 Cavalcanti de Moura, Flávio Leonardo
4 Felgenhauer, Bertram
4 Felty, Amy P.
4 Hagiya, Masami
4 Honsell, Furio
4 Johann, Patricia
4 Kirchner, Hélène
4 Lescanne, Pierre
4 Nederpelt, Rob
4 Nutt, Werner
4 Plaisted, David Alan
4 Reddy, Uday S.
4 Scedrov, Andre
4 Smolka, Gert
4 Toyama, Yoshihito
4 Zankl, Harald
3 Abdulrab, Habib
3 Aït-Kaci, Hassan
3 Barbanera, Franco
3 Benzmüller, Christoph Ewald
3 Bündgen, Reinhard
3 Bürckert, Hans Jürgen
3 Christiansen, Henning
3 Cirstea, Horatiu
3 Constable, Robert Lee
3 Danvy, Olivier
3 Dauchet, Max
3 Dehlinger, Christophe
3 Denzinger, Jörg
3 Díaz-Caro, Alejandro
3 Diekert, Volker
3 Duggan, Dominic
3 Dupont, Benjamin
3 Dybjer, Peter
3 Endrullis, Jörg
3 Engelfriet, Joost
3 Frougny, Christiane
3 Fu, Yuxi
3 Ganzinger, Harald
3 Geuvers, Jan Herman
3 Goguen, Joseph Amadee
...and 868 more Authors
all top 5

Cited in 96 Serials

181 Theoretical Computer Science
63 Journal of Symbolic Computation
46 Journal of Automated Reasoning
39 Information and Computation
24 MSCS. Mathematical Structures in Computer Science
22 Journal of Functional Programming
15 Information Processing Letters
15 Annals of Pure and Applied Logic
13 Formal Aspects of Computing
10 Logical Methods in Computer Science
9 Acta Informatica
9 Artificial Intelligence
9 Journal of Pure and Applied Algebra
9 Mathematical Systems Theory
8 The Journal of Symbolic Logic
8 Higher-Order and Symbolic Computation
8 Journal of Applied Logic
7 Journal of Computer Science and Technology
7 Applicable Algebra in Engineering, Communication and Computing
7 Annals of Mathematics and Artificial Intelligence
6 Journal of Computer and System Sciences
6 RAIRO, Informatique Théorique
6 Journal of Logical and Algebraic Methods in Programming
5 Theory and Practice of Logic Programming
5 ACM Transactions on Computational Logic
4 Cybernetics
4 RAIRO. Informatique Théorique et Applications
3 International Journal of Algebra and Computation
3 Fundamenta Informaticae
2 Computers & Mathematics with Applications
2 Fuzzy Sets and Systems
2 Information Sciences
2 Journal of Algebra
2 Mathematische Zeitschrift
2 Semigroup Forum
2 International Journal of Foundations of Computer Science
2 International Journal of Computer Mathematics
2 Pattern Recognition
2 Indagationes Mathematicae. New Series
2 Journal of Logic, Language and Information
2 Applied Categorical Structures
2 Theory of Computing Systems
2 The Journal of Logic and Algebraic Programming
2 Computer Languages, Systems & Structures
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Journal of Mathematical Analysis and Applications
1 Journal of Mathematical Physics
1 Letters in Mathematical Physics
1 The Mathematical Intelligencer
1 Advances in Mathematics
1 Algebra and Logic
1 Algebra Universalis
1 BIT
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 International Journal of Computer & Information Sciences
1 Journal of Combinatorial Theory. Series A
1 Journal of the London Mathematical Society. Second Series
1 Journal of Philosophical Logic
1 Linguistics and Philosophy
1 Mathematics and Computers in Simulation
1 Memoirs of the American Mathematical Society
1 Notre Dame Journal of Formal Logic
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Siberian Mathematical Journal
1 Studia Logica
1 Synthese
1 Transactions of the American Mathematical Society
1 Science of Computer Programming
1 New Generation Computing
1 International Journal of Approximate Reasoning
1 Machine Learning
1 Computational Geometry
1 Bulletin of the American Mathematical Society. New Series
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Journal of Algebraic Combinatorics
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 The Electronic Journal of Combinatorics
1 The Bulletin of Symbolic Logic
1 Theory and Applications of Categories
1 Journal of the ACM
1 LMS Journal of Computation and Mathematics
1 Algebraic & Geometric Topology
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Algebra and Discrete Mathematics
1 Electronic Notes in Theoretical Computer Science
1 Logica Universalis
1 Tbilisi Mathematical Journal
1 Groups, Complexity, Cryptology
1 Journal of Formalized Reasoning
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 RAIRO. Theoretical Informatics and Applications
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.