Gabriel Hondet
发表
F. Blanqui,
Gabriel Hondet,
2021,
TYPES.
Gilles Dowek,
F. Blanqui,
Gabriel Hondet,
2022
.
Gilles Dowek,
Frédéric Blanqui,
Gabriel Hondet,
2021,
FSCD.
Gilles Dowek,
F. Blanqui,
Gabriel Hondet,
2021,
2111.00543.
Gabriel Hondet,
Frédéric Blanqui,
F. Blanqui,
2020,
FSCD.
F. Blanqui,
Gabriel Hondet,
2021
.
Luis Delgado,
G. Gurtner,
Gabriel Hondet,
2018
.
Gilles Dowek,
F. Blanqui,
Gabriel Hondet,
2021,
Log. Methods Comput. Sci..