Mnacho Echenim
发表
Nicolas Peltier,
Mnacho Echenim,
Yanis Sellami,
2018,
IJCAR.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
ArXiv.
Mnacho Echenim,
Thierry Boy de la Tour,
2007,
RTA.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2017,
J. Artif. Intell. Res..
Mnacho Echenim,
2018,
Arch. Formal Proofs.
Mnacho Echenim,
Thierry Boy de la Tour,
2003,
Electron. Notes Theor. Comput. Sci..
Nicolas Peltier,
Mnacho Echenim,
2010,
AISC'10/MKM'10/Calculemus'10.
Mnacho Echenim,
Thierry Boy de la Tour,
2003,
LPAR.
Nicolas Peltier,
Mnacho Echenim,
2011,
Inf. Process. Lett..
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2018,
ArXiv.
Mnacho Echenim,
Thierry Boy de la Tour,
2005,
RTA.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2014,
IJCAR.
Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems
pdf
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2020,
ArXiv.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2020,
LPAR.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
PDPAR/PaUL@FLoC.
Mnacho Echenim,
Thierry Boy de la Tour,
M. Echenim,
2007,
Inf. Comput..
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2018,
ArXiv.
Mnacho Echenim,
Thierry Boy de la Tour,
2004,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2015,
PAAR@IJCAR.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2019,
FoSSaCS.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2008,
J. Log. Comput..
Nicolas Peltier,
Mnacho Echenim,
2013,
TOCL.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
ArXiv.
Paliath Narendran,
Mnacho Echenim,
Thierry Boy de la Tour,
2008,
IJCAR.
Vincent Aravantinos,
Nicolas Peltier,
Mnacho Echenim,
2011
.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2019,
TABLEAUX.
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems
pdf
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2020,
ArXiv.
Nicolas Peltier,
Mnacho Echenim,
2010,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
AISC/MKM/Calculemus.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2017,
CADE.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2015,
CADE.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
CADE.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2021,
CSL.
Mnacho Echenim,
Thierry Boy de la Tour,
2011,
ArXiv.
Vincent Aravantinos,
Nicolas Peltier,
Mnacho Echenim,
2013,
Fundam. Informaticae.
Nicolas Peltier,
Mnacho Echenim,
Yanis Sellami,
2019,
FroCos.
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2012,
IJCAR.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2020,
ACM Trans. Comput. Log..
Mnacho Echenim,
2005
.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2013,
IJCAI.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007,
STRATEGIES@IJCAR.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2010,
J. Symb. Comput..
Nicolas Peltier,
Mnacho Echenim,
2015,
Journal of Automated Reasoning.
Mnacho Echenim,
Thierry Boy de la Tour,
2004,
IJCAR.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2018,
IJCAI.
Nicolas Peltier,
Mnacho Echenim,
Hervé Guiol,
2018,
Journal of Automated Reasoning.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2021,
CADE.
Mnacho Echenim,
2021,
Arch. Formal Proofs.
Mehdi Mhalla,
Nicolas Peltier,
Rachid Echahed,
2021,
ArXiv.
Mehdi Mhalla,
Mnacho Echenim,
2021,
ArXiv.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2021
.
Mehdi Mhalla,
Nicolas Peltier,
Rachid Echahed,
2021,
PPDP.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2014
.
Maria Paola Bonacina,
Mnacho Echenim,
M. Bonacina,
2007
.
Nicolas Peltier,
Mnacho Echenim,
Sophie Tourret,
2012
.
Nicolas Peltier,
Mnacho Echenim,
Radu Iosif,
2022,
Inf. Process. Lett..
Nicolas Peltier,
Mnacho Echenim,
M. Echenim,
2010
.