Dominique Larchey-Wendling
发表
D. Galmiche,
Dominique Larchey-Wendling,
Y. Salhi,
2007
.
Dominique Larchey-Wendling,
2017
.
Dominique Larchey-Wendling,
Didier Galmiche,
D. Galmiche,
2011,
TOCL.
D. Galmiche,
Dominique Larchey-Wendling,
Joseph Vidal-Rosset,
2010
.
Dominik Kirst,
Dominique Larchey-Wendling,
2021,
Logical Methods in Computer Science.
Dominique Larchey-Wendling,
Jean-François Monin,
J. Monin,
2021,
Proof and Computation II.
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2010,
MFPS.
Dominique Larchey-Wendling,
Didier Galmiche,
D. Galmiche,
1998,
Proof Search in Type-Theoretic Languages@CADE.
Dominique Larchey-Wendling,
Didier Galmiche,
D. Galmiche,
2006,
FSTTCS.
Dominique Larchey-Wendling,
Didier Galmiche,
D. Galmiche,
2006
.
Ralph Matthes,
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2019,
MPC.
D. Galmiche,
Dominique Larchey-Wendling,
2013,
TOCL.
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2007,
Journal of Automated Reasoning.
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2005,
LPAR.
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2005,
D/PDPAR@IJCAR.
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2004,
IJCAR.
Dominique Larchey-Wendling,
Dominique Larchey-Wendling,
2002,
CADE.
D. Galmiche,
Dominique Larchey-Wendling,
2013,
Lecture Notes in Computer Science.
D. Galmiche,
Dominique Larchey-Wendling,
M. Rebuschi,
2019
.
D. Galmiche,
Dominique Larchey-Wendling,
Joseph Vidal-Rosset,
2010
.