Dominique Larchey-Wendling

发表

Dominique Larchey-Wendling, Didier Galmiche, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Dominique Larchey-Wendling, Didier Galmiche, 1998 .
Dominique Larchey-Wendling, 2017, ITP.
Dominique Larchey-Wendling, Didier Galmiche, D. Galmiche, 2006, FSTTCS.
Dominique Méry, Dominique Larchey-Wendling, Didier Galmiche, 2001, IJCAR.
Dominique Larchey-Wendling, Yannick Forster, 2019, FSCD.
Dominique Larchey-Wendling, 2020, Journal of Automated Reasoning.
Dominique Larchey-Wendling, Dominique Larchey-Wendling, 2005, D/PDPAR@IJCAR.
Dominique Larchey-Wendling, Didier Galmiche, D. Galmiche, 1998, Proof Search in Type-Theoretic Languages@CADE.
Dominique Larchey-Wendling, Didier Galmiche, 2014, IFIP TCS.
Dominique Larchey-Wendling, 2018, IJCAR.
Dominique Larchey-Wendling, Dominique Larchey-Wendling, 2005, LPAR.
Dominique Larchey-Wendling, Didier Galmiche, Joseph Vidal-Rosset, 2012 .
Dominique Larchey-Wendling, Didier Galmiche, 2009, Math. Struct. Comput. Sci..
Dominique Larchey-Wendling, 2016, J. Log. Comput..
Dominique Larchey-Wendling, Didier Galmiche, D. Galmiche, 2006 .
Dominique Larchey-Wendling, Didier Galmiche, D. Galmiche, 2011, TOCL.
Dominique Larchey-Wendling, Dominik Kirst, 2020, IJCAR.
Dominique Larchey-Wendling, Dominique Larchey-Wendling, 2002, CADE.
Dominique Larchey-Wendling, Dominique Larchey-Wendling, 2007, Journal of Automated Reasoning.
Dominique Larchey-Wendling, Didier Galmiche, 2000, Electron. Notes Theor. Comput. Sci..
Dominique Larchey-Wendling, Didier Galmiche, 1999, ASIAN.
Stéphane Demri, Dominique Larchey-Wendling, Didier Galmiche, 2016, Theory of Computing Systems.
Dominique Larchey-Wendling, Didier Galmiche, 2013, Lecture Notes in Computer Science.
Ralph Matthes, Dominique Larchey-Wendling, Dominique Larchey-Wendling, 2019, MPC.
Stéphane Demri, Dominique Larchey-Wendling, Didier Galmiche, 2014, CSR.
Dominique Larchey-Wendling, Dominique Larchey-Wendling, 2004, IJCAR.
Dominique Larchey-Wendling, Jean-François Monin, 2018 .
Dominique Larchey-Wendling, Jean-François Monin, J. Monin, 2021, Proof and Computation II.