Daniel Méry
发表
Didier Galmiche,
Daniel Méry,
2005,
LPAR.
Didier Galmiche,
Daniel Méry,
D. Galmiche,
2002,
CADE.
Didier Galmiche,
Jean-René Courtault,
Daniel Méry,
2013
.
Didier Galmiche,
Daniel Méry,
2010,
J. Log. Comput..
Didier Galmiche,
Daniel Méry,
2013,
Journal of Automated Reasoning.
Didier Galmiche,
Daniel Méry,
2003,
J. Log. Comput..
Didier Galmiche,
Daniel Méry,
2011
.
Didier Galmiche,
Daniel Méry,
Michel Marti,
2019,
TABLEAUX.
David J. Pym,
Didier Galmiche,
Daniel Méry,
2005,
Mathematical Structures in Computer Science.
Didier Galmiche,
Daniel Méry,
2001,
TACS.
Stéphane Demri,
Dominique Larchey-Wendling,
Didier Galmiche,
2016,
Theory of Computing Systems.
Didier Galmiche,
Daniel Méry,
2005,
Electron. Notes Theor. Comput. Sci..
Didier Galmiche,
Daniel Méry,
2003
.
Didier Galmiche,
Daniel Méry,
2011,
CADE.
David J. Pym,
Didier Galmiche,
Daniel Méry,
2002,
CSL.
Stéphane Demri,
Dominique Larchey-Wendling,
Didier Galmiche,
2014,
CSR.
Didier Galmiche,
Daniel Méry,
D. Galmiche,
2018,
ARQNL@IJCAR.
Didier Galmiche,
Daniel Méry,
2021,
J. Log. Comput..
Didier Galmiche,
Daniel Méry,
Marta Gawek,
2021,
FSCD.
David J. Pym,
Didier Galmiche,
Daniel Méry,
2002
.