Assia Mahboubi

发表

François Bobot, Guillaume Melquiond, Sylvain Conchon, 2012, IJCAR.
Guillaume Melquiond, Assia Mahboubi, Thomas Sibut-Pinote, 2016, ITP.
Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2007, TPHOLs.
Assia Mahboubi, 2017, Arch. Math. Log..
Assia Mahboubi, 2005, Mathematics, Algorithms, Proofs.
Andrej Bauer, Robert Harper, Thierry Coquand, 2013, ArXiv.
Assia Mahboubi, Cyril Cohen, 2010, AISC'10/MKM'10/Calculemus'10.
Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2008 .
Assia Mahboubi, Thomas Sibut-Pinote, 2019 .
Assia Mahboubi, Cyril Cohen, A. Mahboubi, 2012, Log. Methods Comput. Sci..
Andrej Bauer, Assia Mahboubi, Martín H. Escardó, 2018, Dagstuhl Reports.
Assia Mahboubi, Thomas Sibut-Pinote, 2019, ArXiv.
Damien Pous, Assia Mahboubi, Florent Bréhard, 2019, ITP.
Enrico Tassi, Assia Mahboubi, Thomas Sibut-Pinote, 2014, ITP.
Assia Mahboubi, A. Mahboubi, 2007, Mathematical Structures in Computer Science.
Jeremy Avigad, Andrea Asperti, Enrico Tassi, 2013, ITP.
Assia Mahboubi, Yves Bertot, Frédérique Guilhot, 2011, Mathematical Structures in Computer Science.
Guillaume Melquiond, Assia Mahboubi, Thomas Sibut-Pinote, 2018, Journal of Automated Reasoning.
Assia Mahboubi, Georges Gonthier, Laurence Rideau, 2009, TPHOLs.
Reynald Affeldt, Assia Mahboubi, Cyril Cohen, 2020 .
Enrico Tassi, Assia Mahboubi, 2013, ITP.
Assia Mahboubi, Stéphane Lengrand, Damien Rouhling, 2014, ArXiv.
Assia Mahboubi, A. Mahboubi, 2013, MKM/Calculemus/DML.
Assia Mahboubi, Georges Gonthier, Georges Gonthier, 2010, J. Formaliz. Reason..
Assia Mahboubi, Stéphane Lengrand, Mahfuza Farooque, 2012, ArXiv.
Assia Mahboubi, Stéphane Lengrand, Damien Rouhling, 2015, FroCos.
Assia Mahboubi, Stéphane Lengrand, Mahfuza Farooque, 2013, LFMTP '13.
Benjamin Grégoire, Assia Mahboubi, A. Mahboubi, 2005, TPHOLs.
Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2016 .
Jeremy Avigad, Assia Mahboubi, 2018, ITP.
Assia Mahboubi, Pierre-Marie Pédrot, Martin Baillon, 2022, CSL.
Pierre-Yves Strub, Assia Mahboubi, Cyril Cohen, 2021, ITP.
Damien Pous, Assia Mahboubi, Florent Bréhard, 2019 .