O. Hermant
发表
J. Bacon,
Thomas Pasquier,
O. Hermant,
2014
.
J. Bacon,
D. Eyers,
Jatinder Singh,
2014
.
O. Hermant,
F. Irigoin,
Vivien Maisonneuve,
2014
.
Gilles Dowek,
Catherine Dubois,
Ronan Saillard,
2016
.
Ronan Saillard,
O. Hermant,
2015
.
Cut Elimination in the Intuitionistic Theory of Types with Axioms and Rewriting Cuts, Constructively
James Lipton,
O. Hermant,
2008
.
O. Hermant,
T. Allemand,
A. Sedova,
2017
.
P. Jouvelot,
E. J. G. Arias,
O. Hermant,
2014
.
O. Hermant,
Mathieu Boespflug,
Quentin Carbonneaux,
2018
.
G. Lambaré,
O. Hermant,
T. Allemand,
2019,
First Break.
Guillaume Burel,
David Delahaye,
Guillaume Bury,
2019,
Journal of Automated Reasoning.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2013,
LPAR.
François Irigoin,
Vivien Maisonneuve,
Olivier Hermant,
2013
.
Olivier Hermant,
Quentin Carbonneaux,
O. Hermant,
2012,
PxTP.
Richard Bonichon,
Olivier Hermant,
Richard Bonichon,
2006,
TYPES.
David M. Eyers,
Margo I. Seltzer,
Thomas Moyer,
2018,
CCS.
Olivier Hermant,
Serge Zimine,
Jean-Paul Gruffeille,
2010
.
Denis Cousineau,
Olivier Hermant,
D. Cousineau,
2012,
RTA.
James Lipton,
Olivier Hermant,
James Lipton,
2008,
CSL.
Gilles Dowek,
Olivier Hermant,
Gilles Dowek,
2007,
RTA.
Gilles Dowek,
Olivier Hermant,
Gilles Dowek,
2007,
RTA.
Raja Chiky,
Olivier Hermant,
Sylvain Lefebvre,
2016,
EGC.
O. Hermant,
Andrew J. Davidoff,
M. McCluskey,
2012
.
Olivier Hermant,
Clément Houtmann,
Aloïs Brunel,
2011,
TLCA.
Jatinder Singh,
Jean Bacon,
Olivier Hermant,
2015,
2015 IEEE 8th International Conference on Cloud Computing.
Olivier Hermant,
O. Hermant,
2010,
Journal of Automated Reasoning.
Guillaume Burel,
Gilles Dowek,
David Delahaye,
2016
.
Gilles Dowek,
Catherine Dubois,
Ronan Saillard,
2023,
ArXiv.
Olivier Hermant,
O. Hermant,
2005,
TLCA.
Olivier Hermant,
Gaëtan Gilbert,
O. Hermant,
2015
.
François Irigoin,
Vivien Maisonneuve,
Olivier Hermant,
2014,
NSAD.
Olivier Hermant,
Mélanie Boudard,
O. Hermant,
2013,
LPAR.
Olivier Hermant,
Lisa Allali,
O. Hermant,
2013,
LPAR.
O. Hermant,
M. Mahgoub,
G. Cambois,
2022,
Day 3 Wed, November 02, 2022.
G. Lambaré,
O. Hermant,
A. Sedova,
2021,
First Break.
O. Hermant,
F. Irigoin,
Vivien Maisonneuve,
2014
.
Damien Doligez,
O. Hermant,
Pierre Halmagrand,
2013
.
Damien Doligez,
O. Hermant,
Frédéric Gilbert,
2013,
LPAR.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2013
.