F. Blanqui
发表
F. Blanqui,
2019
.
F. Blanqui,
2019
.
F. Blanqui,
2019
.
F. Blanqui,
Gabriel Hondet,
2021,
TYPES.
F. Blanqui,
E. Gallego,
2018
.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2008,
CSL.
C. Kirchner,
Colin Riba,
F. Blanqui,
2006
.
F. Blanqui,
1998
.
Kim Quyên Lý,
F. Blanqui,
2012
.
F. Blanqui,
2022,
FSCD.
Gilles Dowek,
F. Blanqui,
Gabriel Hondet,
2022
.
Gilles Dowek,
Frédéric Blanqui,
Gabriel Hondet,
2021,
FSCD.
J. Monin,
F. Blanqui,
C. Helmstetter,
2011
.
F. Blanqui,
2020
.
F. Blanqui,
2018
.
F. Blanqui,
2017
.
Gilles Dowek,
F. Blanqui,
Gabriel Hondet,
2021,
2111.00543.
Frédéric Blanqui,
Adam Koprowski,
F. Blanqui,
2011,
Mathematical Structures in Computer Science.
Frédéric Blanqui,
F. Blanqui,
2007,
Rewriting, Computation and Proof.
Frédéric Blanqui,
F. Blanqui,
2013
.
Frédéric Blanqui,
F. Blanqui,
2015,
Theor. Comput. Sci..
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2015,
Log. Methods Comput. Sci..
Jean-François Monin,
Frédéric Blanqui,
Claude Helmstetter,
2011,
ArXiv.
Kim Quyên Lý,
Frédéric Blanqui,
Kim Quyen Ly,
2014
.
Frédéric Blanqui,
F. Blanqui,
2012
.
Frédéric Blanqui,
F. Blanqui,
2006,
ArXiv.
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
Frédéric Blanqui,
2002,
Theor. Comput. Sci..
Frédéric Blanqui,
F. Blanqui,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Frédéric Blanqui,
F. Blanqui,
2020,
FSCD.
Gabriel Hondet,
Frédéric Blanqui,
F. Blanqui,
2020,
FSCD.
F. Blanqui,
Gabriel Hondet,
2021
.
Frédéric Blanqui,
F. Blanqui,
2014,
ArXiv.
Frédéric Blanqui,
F. Blanqui,
2005,
CSL.
Gilles Dowek,
F. Blanqui,
Gabriel Hondet,
2021,
Log. Methods Comput. Sci..
Kim Quyên Lý,
F. Blanqui,
2012,
ArXiv.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2008,
IFIP TCS.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2007,
CSL.
F. Blanqui,
2004,
RTA.
Frédéric Blanqui,
F. Blanqui,
2003,
Fundam. Informaticae.
F. Blanqui,
2003,
RTA.
J. Jouannaud,
M. Okada,
F. Blanqui,
1999,
RTA.
Frédéric Blanqui,
F. Blanqui,
2000,
RTA.
Frédéric Blanqui,
F. Blanqui,
2018,
Journal of Functional Programming.
Frédéric Blanqui,
F. Blanqui,
2006,
ArXiv.
Colin Riba,
Frédéric Blanqui,
Colin Riba,
2006,
LPAR.
Frédéric Blanqui,
F. Blanqui,
1997,
SOEN.
Claude Kirchner,
Colin Riba,
Frédéric Blanqui,
2010,
Theor. Comput. Sci..
Claude Kirchner,
Colin Riba,
Frédéric Blanqui,
2006,
FoSSaCS.