×
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

36 Publications have been cited 1,164 times in 967 Documents Cited by Year
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
369
1980
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
212
1988
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
81
1975
Proofs by induction in equational theories with constructors. Zbl 0532.68041
Huet, Gérard; Hullot, Jean-Marie
62
1982
A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014
Huet, Gerard
55
1981
The Zipper. Zbl 0893.68014
Huet, Gérard
51
1997
A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035
Huet, G. P.
51
1975
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
48
1978
Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007
Coquand, Thierry; Huet, Gérard
44
1985
Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002
Fages, François; Huet, Gérard
34
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
25
1978
Logical foundations of functional programming. Zbl 0709.68003
20
1990
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
20
1994
Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003
Fages, François; Huet, Gérard
15
1983
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
30 years of research and development around Coq. Zbl 1284.68517
Huet, Gérard; Herbelin, Hugo
5
2014
Unification in typed lambda calculus. Zbl 0361.02037
Huet, Gerard
4
1975
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
4
1991
Logical environments. Zbl 0810.68059
4
1993
Fundamentals of artificial intelligence. An advanced course. Zbl 0614.68058
4
1986
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
Regular Böhm trees. Zbl 0923.03022
Huet, Gérard
3
1998
Higher order unification 30 years later (Extended abstract). Zbl 1013.68541
Huet, Gérard
3
2002
Induction principles formalized in the calculus of constructions. Zbl 0624.68077
Huet, Gérard
2
1987
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
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
Axiomatisations, proofs, and formal specifications of algorithms: Commented case studies in the coq proof assistant. Zbl 0882.68131
Huet, Gérard
1
1997
Cartesian closed categories and lambda-calculus. Zbl 0609.18002
Huet, Gérard
1
1986
Deduction and computation. Zbl 0634.68018
Huet, Gérard
1
1987
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
Śrī, Yantra geometry. Zbl 1013.68270
Huet, Gérard
1
2002
Induction principles formalized in the calculus of constructions. Zbl 0657.68013
Huet, Gérard
1
1988
30 years of research and development around Coq. Zbl 1284.68517
Huet, Gérard; Herbelin, Hugo
5
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
3
2002
Śrī, Yantra geometry. Zbl 1013.68270
Huet, Gérard
1
2002
Regular Böhm trees. Zbl 0923.03022
Huet, Gérard
3
1998
The Zipper. Zbl 0893.68014
Huet, Gérard
51
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
20
1994
An analysis of Böhm’s theorem. Zbl 0794.03022
Huet, Gérard
5
1993
Logical environments. Zbl 0810.68059
4
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
4
1991
Logical foundations of functional programming. Zbl 0709.68003
20
1990
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
212
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
Induction principles formalized in the calculus of constructions. Zbl 0624.68077
Huet, Gérard
2
1987
Deduction and computation. Zbl 0634.68018
Huet, Gérard
1
1987
Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002
Fages, François; Huet, Gérard
34
1986
Fundamentals of artificial intelligence. An advanced course. Zbl 0614.68058
4
1986
Cartesian closed categories and lambda-calculus. Zbl 0609.18002
Huet, Gérard
1
1986
Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007
Coquand, Thierry; Huet, Gérard
44
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
15
1983
Proofs by induction in equational theories with constructors. Zbl 0532.68041
Huet, Gérard; Hullot, Jean-Marie
62
1982
A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014
Huet, Gerard
55
1981
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
369
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
25
1978
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
81
1975
A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035
Huet, G. P.
51
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 1,058 Authors

14 Book, Ronald Vernon
13 Dershowitz, Nachum
13 Klop, Jan Willem
13 Schmidt-Schauß, Manfred
12 Otto, Friedrich
11 Ayala-Rincón, Mauricio
11 Baader, Franz
11 Jouannaud, Jean-Pierre
11 Middeldorp, Aart
11 Narendran, Paliath
11 Nipkow, Tobias
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 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 Fernández, Maribel
6 Ghani, Neil
6 Hirokawa, Nao
6 Nadathur, Gopalan
6 Qian, Zhenyu
6 Rabe, Florian
6 Snyder, Wayne
6 Vogler, Heiko
6 Vukmirović, Petar
5 Atkey, Robert
5 Basin, David A.
5 Blanchette, Jasmin Christian
5 Blanqui, Frédéric
5 Endrullis, Jörg
5 Hsiang, Jieh
5 Johann, Patricia
5 Levy, Jordi
5 Plump, Detlef
5 Seldin, Jonathan P.
5 Tourret, Sophie
5 Vágvölgyi, Sándor
5 Zhang, Hantao
4 Andrews, Peter B.
4 Avenhaus, Jürgen
4 Bachmair, Leo
4 Benzmüller, Christoph Ewald
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 Kirchner, Hélène
4 Lescanne, Pierre
4 Lysne, Olav
4 McBride, Conor Thomas
4 Morihata, Akimasa
4 Nederpelt, Rob
4 Nutt, Werner
4 Plaisted, David Alan
4 Reddy, Uday S.
4 Rocha-Oliveira, Ana Cristina
4 Ščedrov, Andrej
4 Smolka, Gert
4 Stump, Aaron
4 Toyama, Yoshihito
4 Zankl, Harald
3 Abdulrab, Habib
3 Aït-Kaci, Hassan
3 Aoto, Takahito
3 Barbanera, Franco
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
...and 958 more Authors
all top 5

Cited in 98 Serials

185 Theoretical Computer Science
67 Journal of Symbolic Computation
46 Journal of Automated Reasoning
41 Information and Computation
24 Mathematical Structures in Computer Science
23 Journal of Functional Programming
17 Annals of Pure and Applied Logic
15 Information Processing Letters
13 Formal Aspects of Computing
11 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 and System Sciences
7 Journal of Computer Science and Technology
7 Applicable Algebra in Engineering, Communication and Computing
7 Annals of Mathematics and Artificial Intelligence
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 Semigroup Forum
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 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 International Journal of Theoretical Physics
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 Theoretical Economics
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.