G. Huet
发表
G. Huet,
D. Oppen,
1980
.
GERARD P. HUET,
G. Huet,
1973,
Inf. Control..
Christine Paulin-Mohring,
Gérard Huet,
G. Huet,
2000
.
Gérard P. Huet,
G. Huet,
1978,
Inf. Process. Lett..
Hugo Herbelin,
Jean-Christophe Filliâtre,
Cristina Cornes,
1997
.
Gérard P. Huet,
G. Huet,
2001,
Proceedings Eighth Working Conference on Reverse Engineering.
Gérard P. Huet,
Bernard Lang,
G. Huet,
1978,
Acta Informatica.
Wolfgang Bibel,
Hans-Hellmut Nagel,
Erik Sandewall,
1977,
IJCAI.
Gérard P. Huet,
Benoît Razet,
G. Huet,
2006,
Essays Dedicated to Joseph A. Goguen.
Gérard P. Huet,
G. Huet,
2016,
FSCD.
Gérard P. Huet,
G. Huet,
1981,
J. Comput. Syst. Sci..
G. Huet,
2003
.
G. Huet,
2003
.
Richard Moot,
Houda Anoun,
Gérard Huet,
2007
.
Jean-Jacques Lévy,
Gérard P. Huet,
G. Huet,
1991,
Computational Logic - Essays in Honor of Alan Robinson.
G. Huet,
2009
.
Gérard Huet,
G. Huet,
1990
.
Gordon D. Plotkin,
Gérard P. Huet,
G. Huet,
1991
.
Gérard P. Huet,
G. Huet,
2011,
Mathematical Structures in Computer Science.
Christine Paulin-Mohring,
Gérard Huet,
Gilles Kahn,
2005
.
Amy P. Felty,
Hugo Herbelin,
Christine Paulin-Mohring,
1990
.
Damien Doligez,
Pierre Weis,
Alain Frisch,
2005
.
Gérard Huet,
G. Huet,
1978
.
Maxime Amblard,
Benoît Sagot,
Reinhard Muskens,
2006
.
Benoît Sagot,
Richard Moot,
Gérard Huet,
2007
.
G. Huet,
2015
.
Gérard P. Huet,
G. Huet,
1980,
J. ACM.
Gérard P. Huet,
G. Huet,
2006,
IWRIDL '06.
Gérard P. Huet,
G. Huet,
1997,
Journal of Functional Programming.
Gérard Huet,
G. Huet,
1997
.
Specifications, Algorithms, Axiomatisations and Proofs - Commented Case Studies In the Coq Proof Ass
Gerard Huet,
G. Huet,
1995
.
Gérard P. Huet,
G. Huet,
1992,
FSTTCS.
Gérard Huet,
G. Huet,
1991
.
Gérard P. Huet,
G. Huet,
1975,
Theor. Comput. Sci..
Pawan Goyal,
Gérard P. Huet,
Amba P. Kulkarni,
2012,
COLING.
Amba Kulkarni,
Pawan Goyal,
Gérard Huet,
2012
.
Gerard Huet,
G. Huet,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Gérard P. Huet,
G. Huet,
1985,
Advanced Course: Fundamentals of Artificial Intelligence.
François Fages,
Gérard P. Huet,
G. Huet,
1983,
CAAP.
Gérard P. Huet,
Jean-Marie Hullot,
G. Huet,
1980,
21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Thierry Coquand,
Gérard P. Huet,
G. Huet,
1988,
Inf. Comput..
Bruno Courcelle,
Jean-Jacques Lévy,
Yves Bertot,
2009
.
Pawan Goyal,
Gérard P. Huet,
G. Huet,
2016,
J. Lang. Model..
Gérard Huet,
G. Huet,
1994,
Journal of Functional Programming.
Hugo Herbelin,
Gérard P. Huet,
G. Huet,
2014,
POPL.
Thierry Coquand,
Gérard Huet,
G. Huet,
1985,
European Conference on Computer Algebra.
Gérard P. Huet,
G. Huet,
1984,
SIGS.
Gérard P. Huet,
G. Huet,
Erard Huet,
2022
.
Validation and Normalization of DCS corpus using Sanskrit Heritage tools to build a tagged Gold Corpus
pdf
Amba Kulkarni,
Sriram Krishnan,
G'erard Huet,
2020,
ArXiv.
G. Huet,
2003
.
Gerard Huet,
G. Huet,
1986
.
Gérard P. Huet,
G. Huet,
1998,
Mathematical Structures in Computer Science.
G. Huet,
T. Coquand,
1988,
Inf. Comput..
G. Huet,
Gilles Dowek,
Benjamin Werner,
2023,
ArXiv.
Gérard P. Huet,
G. Huet,
1996,
RTA.
Gérard P. Huet,
G. Huet,
1987,
TAPSOFT, Vol.1.
Gérard P. Huet,
G. Huet,
1986,
CADE.
G. Huet,
2004
.
Gérard P. Huet,
G. Huet,
1989,
A Perspective in Theoretical Computer Science.
Gérard P. Huet,
G. Huet,
2002,
TPHOLs.
Gérard P. Huet,
G. Huet,
2009,
Sanskrit Computational Linguistics.
Gérard Huet,
G. Huet,
1991
.
Thierry Coquand,
Gérard P. Huet,
G. Huet,
1985,
J. Symb. Comput..
Gerard Huet,
G. Huet,
2004
.
Gérard Huet,
Pawan Goyal,
G. Huet,
2012
.
Gérard Huet,
G. Huet,
1972
.
N. G. de Bruijn,
G. Huet,
G. Plotkin,
1993
.
G. Huet,
K. Sriram,
Amba P. Kulkarni,
2023,
WSC.
Gérard P. Huet,
G. Huet,
2003,
PADL.
Gérard Huet,
G. Huet,
2002
.
G. Huet,
Inria Paris,
2019
.
G. Huet,
1994,
Journal of Functional Programming.
G. Huet,
T. Coquand,
1985,
European Conference on Computer Algebra.