Frédéric Blanqui
发表
Frédéric Blanqui,
Guillaume Genestier,
2018,
ArXiv.
Jean-Pierre Jouannaud,
Jianqi Li,
Frédéric Blanqui,
2009
.
Frédéric Blanqui,
F. Blanqui,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Frédéric Blanqui,
F. Blanqui,
2000,
RTA.
Cody Roux,
Frédéric Blanqui,
2009,
CSL.
Frédéric Blanqui,
Jean Pierre Jouannaud,
Mitsuhiro Okada,
2020,
Theor. Comput. Sci..
Sébastien Hinderer,
Frédéric Blanqui,
Adam Koprowski,
2006
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2007,
CSL.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2007,
LPAR.
Colin Riba,
Frédéric Blanqui,
Colin Riba,
2006,
LPAR.
Frédéric Blanqui,
2004
.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2015,
Log. Methods Comput. Sci..
Frédéric Blanqui,
2006,
ArXiv.
Claude Kirchner,
Colin Riba,
Frédéric Blanqui,
2010,
Theor. Comput. Sci..
Claude Kirchner,
Colin Riba,
Frédéric Blanqui,
2006,
FoSSaCS.
Masahiko Sakai,
Keiichirou Kusakari,
Frédéric Blanqui,
2009,
IEICE Trans. Inf. Syst..
Frédéric Blanqui,
2001
.
Frédéric Blanqui,
F. Blanqui,
2012
.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2008,
CSL.
Pierre-Yves Strub,
Qian Wang,
Frédéric Blanqui,
2009
.
Claude Kirchner,
Hélène Kirchner,
Pierre-Etienne Moreau,
2007
.
Kim Quyên Lý,
Frédéric Blanqui,
Kim Quyen Ly,
2014
.
Frédéric Blanqui,
F. Blanqui,
2014,
ArXiv.
Jean-François Monin,
Frédéric Blanqui,
Frédéric Tuong,
2011,
CPP.
Keiichirou Kusakari,
Sho Suzuki,
Frédéric Blanqui,
2011,
ArXiv.
Frédéric Blanqui,
Adam Koprowski,
F. Blanqui,
2011,
Mathematical Structures in Computer Science.
Frédéric Blanqui,
F. Blanqui,
2006,
ArXiv.
Frédéric Blanqui,
2004,
RTA.
Cody Roux,
Frédéric Blanqui,
2009,
ArXiv.
Claude Kirchner,
Colin Riba,
Frédéric Blanqui,
2006,
FoSSaCS.
Frédéric Blanqui,
2003
.
Frédéric Blanqui,
2003,
RTA.
Frédéric Blanqui,
F. Blanqui,
2005,
CSL.
Frédéric Blanqui,
F. Blanqui,
2013
.
Frédéric Blanqui,
F. Blanqui,
2018,
Journal of Functional Programming.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2008,
IFIP TCS.
Frédéric Blanqui,
F. Blanqui,
2006,
ArXiv.
Jean-François Monin,
Frédéric Blanqui,
Claude Helmstetter,
2011,
ArXiv.
Olivier Hermant,
Frédéric Blanqui,
Guillaume Genestier,
2019,
FSCD.
Frédéric Blanqui,
2005,
CSL.
Frédéric Blanqui,
Adam Koprowski,
2012
.
Giselle Reis,
Frédéric Blanqui,
2018,
LFMTP@FSCD.
Frédéric Blanqui,
2005,
Math. Struct. Comput. Sci..
Frédéric Blanqui,
F. Blanqui,
2015,
Theor. Comput. Sci..
Frédéric Blanqui,
2018,
ArXiv.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2006,
LPAR.
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
Frédéric Blanqui,
2002,
Theor. Comput. Sci..
Frédéric Blanqui,
F. Blanqui,
2007,
Rewriting, Computation and Proof.
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
Frédéric Blanqui,
1999,
RTA.
Frédéric Blanqui,
F. Blanqui,
2003,
Fundam. Informaticae.
Gilles Dowek,
Frédéric Blanqui,
Gabriel Hondet,
2021,
FSCD.