Lorenzo Tortora de Falco
发表
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2016,
FSCD.
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2016,
ArXiv.
Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco,
1996,
TABLEAUX.
Thomas Ehrhard,
Valeria de Paiva,
Maribel Fernández,
2019,
Linearity-TLLA@FLoC.
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2016
.
Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco,
2002,
J. Symb. Log..
Olivier Laurent,
Lorenzo Tortora de Falco,
2022
.
Damiano Mazza,
Lorenzo Tortora de Falco,
Pierre Boudes,
2012,
Inf. Comput..
Lorenzo Tortora de Falco,
L. Falco,
2003,
Theor. Comput. Sci..
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2020,
ArXiv.
Lorenzo Tortora de Falco,
Daniel de Carvalho,
L. Falco,
2013,
Inf. Comput..
Lorenzo Tortora de Falco,
1996,
Electron. Notes Theor. Comput. Sci..
Thomas Ehrhard,
Valeria de Paiva,
Maribel Fernández,
2019
.
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2019,
WoLLIC.
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2019,
CSL.
Lorenzo Tortora de Falco,
2003,
Ann. Pure Appl. Log..
Lorenzo Tortora de Falco,
L. Falco,
2003,
Mathematical Structures in Computer Science.
Lorenzo Tortora de Falco,
Daniel de Carvalho,
L. Falco,
2010,
Ann. Pure Appl. Log..
Lorenzo Tortora de Falco,
2001
.
Lorenzo Tortora de Falco,
2018,
Math. Struct. Comput. Sci..
Michele Pagani,
Lorenzo Tortora de Falco,
L. Falco,
2010,
Theor. Comput. Sci..
Michele Pagani,
Lorenzo Tortora de Falco,
Daniel de Carvalho,
2011,
Theor. Comput. Sci..
Olivier Laurent,
Lorenzo Tortora de Falco,
L. Falco,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Paolo Pistone,
Lorenzo Tortora de Falco,
Thomas Seiller,
2019,
ArXiv.
Olivier Laurent,
Lorenzo Tortora de Falco,
Myriam Quatrini,
2005,
Ann. Pure Appl. Log..
Lorenzo Tortora de Falco,
2018
.
Lorenzo Tortora de Falco,
L. Falco,
1997,
Kurt Gödel Colloquium.
Damiano Mazza,
Lorenzo Tortora de Falco,
Pierre Boudes,
2013
.
Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco,
1996
.