Guillaume Burel
发表
Guillaume Burel,
G. Burel,
Guillaume Burel,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Claude Kirchner,
Guillaume Burel,
C. Kirchner,
2007,
LFCS.
Guillaume Burel,
David Delahaye,
Guillaume Bury,
2019,
Journal of Automated Reasoning.
Guillaume Burel,
G. Burel,
2007,
CSL.
Claude Kirchner,
Guillaume Burel,
C. Kirchner,
2006,
Essays Dedicated to Joseph A. Goguen.
Guillaume Burel,
Frédéric Blanqui,
Mohamed Yacine El Haddad,
2019,
PxTP.
Guillaume Burel,
G. Burel,
Guillaume Burel,
2014,
RTA-TLCA.
Guillaume Burel,
2009
.
Denis Cousineau,
Guillaume Burel,
Gilles Dowek,
2009
.
Guillaume Burel,
G. Burel,
Guillaume Burel,
2008,
Log. Methods Comput. Sci..
Guillaume Burel,
G. Burel,
2009,
FroCoS.
Ying Jiang,
Guillaume Burel,
Gilles Dowek,
2015,
FroCos.
Guillaume Burel,
Virgile Prevosto,
Catherine Dubois,
2019,
FMTea.
Guillaume Burel,
Guillaume Burel,
2013,
PxTP@CADE.
Guillaume Burel,
G. Burel,
2010,
CSL.
Guillaume Burel,
2018,
MFCS.
Guillaume Burel,
Ali Assaf,
G. Burel,
2015,
PxTP@CADE.
Guillaume Burel,
Gilles Dowek,
Gilles Dowek,
2009,
LFMTP '09.
Guillaume Burel,
2011,
CADE.
Claude Kirchner,
Guillaume Burel,
C. Kirchner,
2010,
Inf. Comput..
Guillaume Burel,
Simon Cruanes,
Simon Cruanes,
2013,
FroCos.
Guillaume Burel,
2020,
ACM Trans. Comput. Log..
Ying Jiang,
Guillaume Burel,
Gilles Dowek,
2016
.
Guillaume Burel,
Mathieu Boespflug,
2012,
PxTP.
Guillaume Burel,
2010,
CSL 2010.
Guillaume Burel,
2011
.
Guillaume Burel,
Gilles Dowek,
David Delahaye,
2016
.
Guillaume Burel,
G. Burel,
Guillaume Burel,
2008
.