Laurent Théry
发表
Enrico Tassi,
Assia Mahboubi,
Georges Gonthier,
2007,
TPHOLs.
Sylvie Boldo,
Laurent Théry,
Marc Daumas,
2001,
ArXiv.
Benjamin Grégoire,
Arnaud Spiwack,
Laurent Théry,
2010,
ITP.
Laurent Théry,
2003
.
Laurent Théry,
2008,
TPHOLs.
J. van Leeuwen,
Jan van Leeuwen,
Gilles Dowek,
1999,
Lecture Notes in Computer Science.
Pascal Fontaine,
Frédéric Besson,
Laurent Théry,
2011
.
Yves Bertot,
Laurence Rideau,
Laurent Théry,
2017,
ArXiv.
Benjamin Grégoire,
Benjamin Werner,
Laurent Théry,
2006,
FLOPS.
Jean-Michel Muller,
Laurent Théry,
Arthur Blot,
2017,
NSV@CAV.
Laurent Théry,
L. Théry,
2004,
UITP@TPHOLs.
Nicolas Brisebarre,
Mioara Joldes,
Laurent Théry,
2012,
NASA Formal Methods.
Jeremy Avigad,
Andrea Asperti,
Enrico Tassi,
2013,
ITP.
Laurent Théry,
2006,
ArXiv.
Amy P. Felty,
Laurent Théry,
1997,
J. Symb. Comput..
Stephan Merz,
Jean-Jacques Lévy,
Ran Chen,
2018,
ArXiv.
Yves Bertot,
Laurent Théry,
Andre Hirschowitz,
1999
.
Benjamin Grégoire,
Laurent Théry,
B. Grégoire,
2006,
IJCAR.
Claude Pasquier,
Laurent Théry,
2009,
ArXiv.
Gilles Kahn,
Laurent Théry,
Yann Coscoy,
1995,
TLCA.
Gilles Kahn,
Yves Bertot,
Laurent Théry,
1994,
TACS.
Laurent Théry,
L. Théry,
2003,
TPHOLs.
Yves Bertot,
Laurence Rideau,
Laurent Théry,
2017,
Journal of Automated Reasoning.
Gilles Kahn,
Yves Bertot,
Laurent Théry,
1992
.
Laurent Théry,
1993,
HUG.
John Harrison,
Laurent Théry,
J. Harrison,
1998,
Journal of Automated Reasoning.
Laurence Rideau,
Laurent Théry,
Marc Daumas,
2001,
TPHOLs.
John Harrison,
Laurent Théry,
1993,
LPAR.
John Harrison,
Laurent Théry,
J. Harrison,
1993,
HUG.
Laurent Théry,
Benjamin Werner,
Chantal Keller,
2011
.
Gilles Kahn,
Yves Bertot,
Laurent Théry,
1992,
SDE 5.
Laurent Théry,
L. Théry,
1998,
CADE.
Laurence Rideau,
Laurent Théry,
Yves Bertot,
2017
.
Pierre Letouzey,
Laurent Théry,
2000,
TPHOLs.
Benjamin Grégoire,
Loïc Pottier,
Laurent Théry,
2008,
Automated Deduction in Geometry.
Yves Bertot,
Laurent Théry,
Yves Bertot,
1998,
J. Symb. Comput..
Guillaume Hanrot,
Laurent Théry,
G. Hanrot,
2007,
TPHOLs.
Laurent Fuchs,
Laurent Théry,
2010,
Automated Deduction in Geometry.
Laurent Théry,
L. Théry,
2001,
Journal of Automated Reasoning.
Ioana Pasca,
Laurence Rideau,
Laurent Théry,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Yves Bertot,
Laurent Théry,
Yves Bertot,
2005,
VSTTE.
Laurent Théry,
Holger Thies,
Florian Steinberg,
2019,
ITP.
Benjamin Grégoire,
Benjamin Werner,
Laurent Théry,
2011,
CPP.
Laurence Rideau,
Laurent Théry,
L. Rideau,
1997
.
Stephan Merz,
Jean-Jacques Lévy,
Laurent Théry,
2019,
ITP.
Laurent Théry,
2004
.
Freek Wiedijk,
Laurent Théry,
2015,
Math. Comput. Sci..
Laurent Théry,
2002
.
Laurent Théry,
Micaela Mayero,
Érik Martin-Dorel,
2014,
Journal of Automated Reasoning.
Laurent Théry,
L. Théry,
2021,
ITP.
Laurent Théry,
L. Théry,
1993
.
Laurent Théry,
L. Théry,
1997
.
Gilles Dowek,
Yves Bertot,
Laurent Théry,
1999
.
Laurent Fuchs,
Laurent Théry,
Laurent Théry,
2014
.