L. Falco
发表
H. Schellinx,
J. Joinet,
L. Falco,
2007
.
Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco,
1996
.
L. Falco,
2007
.
Lorenzo Tortora de Falco,
L. Falco,
1997,
Kurt Gödel Colloquium.
H. Schellinx,
J. Joinet,
L. Falco,
2002,
Journal of Symbolic Logic.
L. Falco,
Giulio Guerrieri,
L. Pellissier,
2020,
Log. Methods Comput. Sci..
Michele Pagani,
Lorenzo Tortora de Falco,
L. Falco,
2010,
Theor. Comput. Sci..
Olivier Laurent,
Lorenzo Tortora de Falco,
L. Falco,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
L. Falco,
Adrien Ragot,
Thomas Seiller,
2023,
ICTCS.
L. Falco,
L. Pellissier,
Giulio Guerrieri,
2020,
Log. Methods Comput. Sci..
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2019,
CSL.
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2019,
WoLLIC.
Lionel Vaux Auclair,
L. Falco,
Giulio Guerrieri,
2024,
Logic Programming and Automated Reasoning.
Giulio Guerrieri,
Luc Pellissier,
Lorenzo Tortora de Falco,
2016,
FSCD.
Lorenzo Tortora de Falco,
Daniel de Carvalho,
L. Falco,
2010,
Ann. Pure Appl. Log..
Lorenzo Tortora de Falco,
L. Falco,
2003,
Theor. Comput. Sci..
Michele Pagani,
Lorenzo Tortora de Falco,
Daniel de Carvalho,
2011,
Theor. Comput. Sci..
Lorenzo Tortora de Falco,
L. Falco,
2003,
Mathematical Structures in Computer Science.
Lorenzo Tortora de Falco,
Daniel de Carvalho,
L. Falco,
2013,
Inf. Comput..
Damiano Mazza,
Lorenzo Tortora de Falco,
Pierre Boudes,
2012,
Inf. Comput..
L. Falco,
A. Bucciarelli,
Raffaele Di,
2023
.
Lionel Vaux Auclair,
G. Manara,
L. Falco,
2021
.
Damiano Mazza,
Lorenzo Tortora de Falco,
Pierre Boudes,
2013
.
L. Falco,
Giulio Guerrieri,
L. Pellissier,
2014
.