Sean McLaughlin
发表
T. Hales,
Sean McLaughlin,
2009
.
T. Hales,
Sean McLaughlin,
1998
.
Thomas C. Hales,
Sean McLaughlin,
T. Hales,
1998,
math/9811079.
T. Hales,
Sean McLaughlin,
1998,
math/9811079.
Tobias Nipkow,
Cezary Kaliszyk,
Josef Urban,
2015,
Forum of Mathematics, Pi.
Tobias Nipkow,
John Harrison,
Thomas C. Hales,
2009,
Discret. Comput. Geom..
Edith Schonberg,
Xuan Liu,
Moninder Singh,
2003,
ER.
John Harrison,
Sean McLaughlin,
J. Harrison,
2005,
CADE.
Alan J. Hu,
Temesghen Kahsai,
John D. Backes,
2019,
CAV.
Cole Schlesinger,
Ranjit Jhala,
John D. Backes,
2020,
CAV.
Frank Pfenning,
Sean McLaughlin,
F. Pfenning,
2008,
LPAR.
Sean McLaughlin,
Sean McLaughlin,
2006,
IJCAR.
Christoph Lange,
Florian Rabe,
Sean McLaughlin,
2008,
SemWiki.
T. Nipkow,
T. Hales,
J. Harrison,
2009,
Discret. Comput. Geom..