Felice Cardone
发表
Mario Coppo,
Felice Cardone,
F. Cardone,
1991,
Inf. Comput..
Felice Cardone,
F. Cardone,
2011
.
Manfred Droste,
Paolo Boldi,
Felice Cardone,
2002,
Mathematical Structures in Computer Science.
Felice Cardone,
1994,
LCC.
Mario Coppo,
Felice Cardone,
F. Cardone,
2003,
ICTCS.
Anatol W. Holt,
Felice Cardone,
1999,
ISCO.
Fabio Alessi,
Felice Cardone,
2016,
Fundam. Informaticae.
Felice Cardone,
F. Cardone,
1989,
ICALP.
Felice Cardone,
2015,
CiE.
Paola Giannini,
Eva Sciacca,
Salvatore Spinella,
2011
.
Felice Cardone,
F. Cardone,
1991,
Theor. Comput. Sci..
Felice Cardone,
F. Cardone,
1992,
CAAP.
Felice Cardone,
2002,
Theor. Comput. Sci..
J. Roger Hindley,
Felice Cardone,
F. Cardone,
2009,
Logic from Russell to Church.
Anatol W. Holt,
Felice Cardone,
F. Cardone,
2000
.
Felice Cardone,
2013
.
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Felice Cardone,
1994,
Ann. Pure Appl. Log..
Richard Statman,
Wil Dekkers,
Henk Barendregt,
2013
.