Frédéric Gilbert
发表
Gilles Dowek,
Catherine Dubois,
Ronan Saillard,
2016
.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2013,
LPAR.
Frédéric Gilbert,
Frédéric Gilbert,
2017,
ITP.
Guillaume Burel,
Gilles Dowek,
David Delahaye,
2016
.
Gilles Dowek,
Catherine Dubois,
Ronan Saillard,
2023,
ArXiv.
Frédéric Gilbert,
Frédéric Gilbert,
2019,
ESOP.
Damien Doligez,
O. Hermant,
Frédéric Gilbert,
2013,
LPAR.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2013
.