A. Meyer
发表
M. Paterson,
M. Bauer,
D. Brand,
1973,
SIGA.
Igor Walukiewicz,
A. Meyer,
Antoine Meyer,
2004,
Lecture Notes in Computer Science.
A. Meyer,
Arnaud Carayol,
2005,
MFCS.
A. Meyer,
2007,
MFCS.
J. Feigenbaum,
M. Paterson,
J. Hartmanis,
1993
.
Antoine Meyer,
A. Meyer,
2007,
RAIRO Theor. Informatics Appl..
Antoine Meyer,
Arnaud Carayol,
A. Meyer,
2006,
Log. Methods Comput. Sci..
Antoine Meyer,
Arnaud Carayol,
A. Meyer,
2005,
Acta Informatica.
Antoine Meyer,
C.-H. Luke Ong,
Olivier Serre,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Antoine Meyer,
François Laroussinie,
Eudes Petonnet,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Antoine Meyer,
Alexander Moshe Rabinovich,
Ahmed Bouajjani,
2006,
J. Log. Algebraic Methods Program..
Antoine Meyer,
Cécile Ouvrier-Buffet,
Simon Modeste,
2018
.
A. Meyer,
Shmuel Sagiv,
A. Rabinovich,
2006,
J. Log. Algebraic Methods Program..
Antoine Meyer,
Viviane Durand-Guerrier,
Simon Modeste,
2019,
Proof Technology in Mathematics Research and Teaching.