A. Mahboubi
发表
Enrico Tassi,
Assia Mahboubi,
Georges Gonthier,
2008
.
Enrico Tassi,
Assia Mahboubi,
Georges Gonthier,
2007,
TPHOLs.
Assia Mahboubi,
Georges Gonthier,
Georges Gonthier,
2010,
J. Formaliz. Reason..
I. Antipolis,
A. Mahboubi,
S. Cedex,
2006
.
Jeremy Avigad,
Andrea Asperti,
Enrico Tassi,
2013,
ITP.
A. Mahboubi,
C. Cohen,
2010
.
A. Mahboubi,
M. Farooque,
Stéphane Graham-Lengrand,
2013
.
L. Pottier,
Yves Bertot,
A. Mahboubi,
2004
.
A. Mahboubi,
Stéphane Lengrand,
M. Farooque,
2012
.
G. Melquiond,
Thomas Sibut-Pinote,
A. Mahboubi,
2016,
Journal of Automated Reasoning.
G. Melquiond,
Thomas Sibut-Pinote,
A. Mahboubi,
2018
.
Assia Mahboubi,
Yves Bertot,
Frédérique Guilhot,
2011,
Mathematical Structures in Computer Science.
Benjamin Grégoire,
Assia Mahboubi,
A. Mahboubi,
2005,
TPHOLs.
Assia Mahboubi,
Cyril Cohen,
A. Mahboubi,
2012,
Log. Methods Comput. Sci..
Assia Mahboubi,
A. Mahboubi,
2007,
Mathematical Structures in Computer Science.
Damien Pous,
Assia Mahboubi,
Florent Bréhard,
2019,
ITP.
François Bobot,
Guillaume Melquiond,
Sylvain Conchon,
2012,
IJCAR.
Assia Mahboubi,
Georges Gonthier,
Laurence Rideau,
2009,
TPHOLs.
Assia Mahboubi,
A. Mahboubi,
2006,
IJCAR.
A. Mahboubi,
Cyril Cohen,
Enzo Crance,
2023,
ArXiv.
Assia Mahboubi,
Pierre-Marie Pédrot,
Martin Baillon,
2022,
CSL.
Enrico Tassi,
Assia Mahboubi,
Thomas Sibut-Pinote,
2014,
ITP.
Assia Mahboubi,
A. Mahboubi,
2013,
MKM/Calculemus/DML.
Assia Mahboubi,
Stéphane Lengrand,
Damien Rouhling,
2014,
ArXiv.