Antonio Bucciarelli
发表
Antonio Bucciarelli,
Thomas Ehrhard,
A. Bucciarelli,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Antonio Bucciarelli,
Pasquale Malacaria,
2002,
Theor. Comput. Sci..
Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo,
2003,
Mathematical Structures in Computer Science.
Antonio Bucciarelli,
1997,
Theor. Comput. Sci..
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2009,
LFCS.
Antonio Bucciarelli,
Alberto Carraro,
Thomas Ehrhard,
2009,
LINEARITY.
Antonio Bucciarelli,
Delia Kesner,
Daniel Lima Ventura,
2017,
Log. J. IGPL.
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2007,
CSL.
Antonio Bucciarelli,
Antonino Salibra,
2008,
Math. Struct. Comput. Sci..
Antonio Bucciarelli,
Delia Kesner,
Alejandro R'ios,
2020,
FLOPS.
Antonio Bucciarelli,
Alberto Carraro,
Antonino Salibra,
2013,
LSFA.
Antonio Bucciarelli,
Benjamin Leperchey,
Vincent Padovani,
2003,
TLCA.
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2012,
Ann. Pure Appl. Log..
Antonio Bucciarelli,
Antonino Salibra,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Antonio Bucciarelli,
Thomas Ehrhard,
1991,
ICALP.
Antonio Bucciarelli,
Ivano Salvo,
A. Bucciarelli,
1998,
ICALP.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2014,
IFIP TCS.
Antonio Bucciarelli,
Thomas Ehrhard,
1994,
Inf. Comput..
Antonio Bucciarelli,
Thomas Ehrhard,
A. Bucciarelli,
2001,
Ann. Pure Appl. Log..
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2020
.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2018,
ArXiv.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2017,
Log. Methods Comput. Sci..
Antonio Bucciarelli,
2011,
ArXiv.
Antonio Bucciarelli,
Francesco Paoli,
Antonino Salibra,
2018,
ArXiv.
Antonio Bucciarelli,
Benjamin Leperchey,
2004,
FoSSaCS.
Antonio Bucciarelli,
Alberto Carraro,
Antonino Salibra,
2014,
ICTCS.
Antonio Bucciarelli,
1997,
Fundam. Informaticae.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2015,
TLCA.
Antonio Bucciarelli,
Alberto Carraro,
Antonino Salibra,
2016,
Theor. Comput. Sci..
Antonio Bucciarelli,
1993,
MFPS.
Antonio Bucciarelli,
Antonino Salibra,
2003,
MFCS.
Antonio Bucciarelli,
Delia Kesner,
Daniel Lima Ventura,
2016,
LSFA.
Antonio Bucciarelli,
Thomas Ehrhard,
1993,
Theor. Comput. Sci..
Antonio Bucciarelli,
1997,
TLCA.
Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Antonio Bucciarelli,
Alberto Carraro,
Thomas Ehrhard,
2012,
Log. Methods Comput. Sci..
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2010,
MFPS.
Antonio Bucciarelli,
Thomas Ehrhard,
2000,
Ann. Pure Appl. Log..
Antonio Bucciarelli,
Antonino Salibra,
A. Bucciarelli,
2004,
LICS 2004.