Antoine Meyer
发表
Antoine Meyer,
Arnaud Carayol,
A. Meyer,
2006,
Log. Methods Comput. Sci..
Antoine Meyer,
2019
.
Antoine Meyer,
Viviane Durand-Guerrier,
Simon Modeste,
2019,
Proof Technology in Mathematics Research and Teaching.
Antoine Meyer,
François Laroussinie,
Eudes Petonnet,
2010,
FoSSaCS.
Antoine Meyer,
Cécile Ouvrier-Buffet,
Simon Modeste,
2018
.
Antoine Meyer,
Meena Mahajan,
Nutan Limaye,
2008,
CSR.
Antoine Meyer,
Alexander Moshe Rabinovich,
Ahmed Bouajjani,
2006,
J. Log. Algebraic Methods Program..
Antoine Meyer,
Ahmed Bouajjani,
2004,
FSTTCS.
Antoine Meyer,
Meena Mahajan,
Nutan Limaye,
2009,
J. Autom. Lang. Comb..
Antoine Meyer,
C.-H. Luke Ong,
Olivier Serre,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Antoine Meyer,
Arnaud Carayol,
A. Meyer,
2005,
Acta Informatica.
Antoine Meyer,
2005
.
Antoine Meyer,
Viviane Durand-Guerrier,
Simon Modeste,
2019
.
Antoine Meyer,
Alexander Moshe Rabinovich,
Ahmed Bouajjani,
2007,
J. Log. Algebraic Methods Program..
Antoine Meyer,
A. Meyer,
2007,
RAIRO Theor. Informatics Appl..
Antoine Meyer,
2004,
FoSSaCS.
Antoine Meyer,
François Laroussinie,
Eudes Petonnet,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Antoine Meyer,
Eudes Petonnet,
Franccois Laroussinie,
2012
.
Antoine Meyer,
Viviane Durand-Guerrier,
Faïza Chellougui,
2021
.