M. Echenim
发表
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007
.
M. Echenim,
N. Peltier,
2011
.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2010
.
E. Gobet,
M. Echenim,
Anne-Claire Maurice,
2022,
2207.02989.
Thierry Boy de la Tour,
M. Echenim,
2006
.
M. Echenim,
N. Peltier,
2022,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
Yanis Sellami,
2018,
IJCAR.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2017,
J. Artif. Intell. Res..
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2014,
IJCAR.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2010,
J. Symb. Comput..
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2018,
IJCAI.
N. Peltier,
M. Echenim,
M. Echenim,
2019,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2015,
CADE.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2015,
PAAR@IJCAR.
M. Echenim,
N. Peltier,
2014,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2013,
IJCAI.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
IJCAR.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
ArXiv.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2008,
J. Log. Comput..
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
CADE.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
STRATEGIES@IJCAR.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
PDPAR/PaUL@FLoC.
Mehdi Mhalla,
Nicolas Peltier,
Rachid Echahed,
2021,
ArXiv.
Thierry Boy de la Tour,
M. Echenim,
2007
.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2021,
CSL.
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems
pdf
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2020,
ArXiv.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2022,
Inf. Process. Lett..
Mnacho Echenim,
Thierry Boy de la Tour,
M. Echenim,
2007,
Inf. Comput..
Vincent Aravantinos,
Nicolas Peltier,
Mnacho Echenim,
2013,
Fundam. Informaticae.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
AISC/MKM/Calculemus.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
ArXiv.
Georges Gonthier,
J. Meseguer,
S. Owre,
2006
.
Mehdi Mhalla,
Nicolas Peltier,
Rachid Echahed,
2021,
PPDP.
Nicolas Peltier,
Mnacho Echenim,
Hervé Guiol,
2018,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2017,
CADE.
M. Mhalla,
M. Echenim,
2023,
J. Autom. Reason..
Mehdi Mhalla,
Mnacho Echenim,
M. Mhalla,
2021,
ArXiv.