Gérard Huet

Available identifiers

zbMath Open huet.gerard-pDBLPh/GPHuetWikidataQ974366 ScholiaQ974366MaRDI QIDQ789175

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4967236	2019-07-03	Paper
Computing with relational machines	2017-06-14	Paper
30 years of research and development around Coq	2014-04-10	Paper
Preface	2011-10-21	Paper
Verification: Theory and Practice	2010-03-23	Paper
The Reactive Engine for Modular Transducers	2007-09-07	Paper
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger	2006-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4664920	2005-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4415092	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4484328	2003-06-12	Paper
Śrī, Yantra geometry	2002-07-18	Paper
Regular Böhm trees	1999-03-22	Paper
The Zipper	1998-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4357063	1997-10-07	Paper
Residual theory in λ-calculus: a formal development	1995-11-28	Paper
An analysis of Böhm's theorem	1994-08-28	Paper
The calculus of constructions	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805882	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026376	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3030827	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773320	1987-01-01	Paper
Complete sets of unifiers and matchers in equational theories	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3749213	1986-01-01	Paper
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703866	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3335752	1983-01-01	Paper
Proofs by induction in equational theories with constructors	1982-01-01	Paper
A complete proof of correctness of the Knuth-Bendix completion algorithm	1981-01-01	Paper
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems	1980-01-01	Paper
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations	1978-01-01	Paper
Proving and applying program transformations expressed with second-order patterns	1978-01-01	Paper
A unification algorithm for typed \(\bar\lambda\)-calculus	1975-01-01	Paper
A unification algorithm for typed \(\overline\lambda\)-calculus	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4082995	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133944	1975-01-01	Paper
The undecidability of unification in third order logic	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gérard Huet