Alessio Mansutti
发表
Alessio Mansutti,
Marino Miculan,
Marco Peressotti,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Stéphane Demri,
Alessio Mansutti,
Raul Fervari,
2019,
JELIA.
Stéphane Demri,
Alessio Mansutti,
Raul Fervari,
2020,
LICS.
Alessio Mansutti,
Marino Miculan,
Marco Peressotti,
2014,
DAIS.
Alessio Mansutti,
Marino Miculan,
Marco Peressotti,
2017,
STAF Workshops.
Alessio Mansutti,
St'ephane Demri,
Etienne Lozes,
2020,
CSL.
Stéphane Demri,
Alessio Mansutti,
Bartosz Bednarczyk,
2020,
IJCAI.
Alessio Mansutti,
2020,
FoSSaCS.
Alessio Mansutti,
Marino Miculan,
2018,
ICTCS.
Stéphane Demri,
Alessio Mansutti,
Étienne Lozes,
2018,
FoSSaCS.
Alessio Mansutti,
2018,
FSTTCS.
Stéphane Demri,
Alessio Mansutti,
Étienne Lozes,
2020,
ArXiv.
Alessio Mansutti,
Alessio Mansutti,
2021,
ArXiv.
Alessio Mansutti,
Dmitry Chistikov,
Christoph Haase,
2021,
ArXiv.
Stéphane Demri,
Alessio Mansutti,
Étienne Lozes,
2021,
ACM Trans. Comput. Log..
Stéphane Demri,
Alessio Mansutti,
Étienne Lozes,
2021,
Logical Methods in Computer Science.
Alessio Mansutti,
Christoph Haase,
2021,
MFCS.
Stéphane Demri,
Alessio Mansutti,
Raul Fervari,
2021,
J. Log. Comput..