A. Salibra
发表
Giulio Manzonetto,
A. Salibra,
Chantal Berline,
2008
.
Giulio Manzonetto,
A. Salibra,
Chantal Berline,
2008
.
Giulio Manzonetto,
A. Salibra,
2016
.
A. Salibra,
T. Ehrhard,
Alberto Carraro,
2010
.
Antonino Salibra,
Giuseppe Scollo,
G. Scollo,
1996,
Math. Struct. Comput. Sci..
Antonio Bucciarelli,
Antonino Salibra,
A. Bucciarelli,
2004,
LICS 2004.
Giulio Manzonetto,
A. Salibra,
Chantal Berline,
2007
.
A. Bucciarelli,
A. Salibra,
2019,
Art Discret. Appl. Math..
A. Salibra,
Alberto Carraro,
2012
.
A. Salibra,
Alberto Carraro,
2010
.
A. Bucciarelli,
A. Salibra,
2007
.
A. Salibra,
2007
.
A. Salibra,
S. Lusin,
2002
.
A. Salibra,
2022
.
A. Bucciarelli,
F. Paoli,
A. Salibra,
2020,
Foundations of Science.
A. Salibra,
2022,
2203.14054.
A. Bucciarelli,
F. Paoli,
A. Salibra,
2022,
ArXiv.
T. Kowalski,
F. Paoli,
A. Salibra,
2013,
Algebra universalis.
Antonino Salibra,
A. Salibra,
2012,
MFCS.
Alberto Carraro,
Thomas Ehrhard,
Antonino Salibra,
2013,
LSFA.
Vincenzo Manca,
Antonino Salibra,
V. Manca,
1992,
Theor. Comput. Sci..
Giulio Manzonetto,
Antonino Salibra,
Giordano Favro,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Antonino Salibra,
Karin Cvetko-Vah,
A. Salibra,
2015
.
A. Salibra,
Karin Cvetko-Vah,
2015,
Algebra Universalis.
Francesco Paoli,
Antonino Salibra,
Tomasz Kowalski,
2013
.
Francesco Paoli,
Antonino Salibra,
Antonio Ledda,
2013
.
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2008
.
Antonino Salibra,
Giuseppe Scollo,
G. Scollo,
1991,
COMPASS/ADT.
Vincenzo Manca,
Antonino Salibra,
Giuseppe Scollo,
1990,
Theor. Comput. Sci..
Vincenzo Manca,
Antonino Salibra,
Giuseppe Scollo,
1989,
MFCS.
A. Bucciarelli,
A. Salibra,
2023,
2303.05471.
Antonino Salibra,
A. Salibra,
2003,
TOCL.
A. Bucciarelli,
F. Paoli,
A. Salibra,
2022,
2204.00435.
A. Bucciarelli,
F. Paoli,
A. Salibra,
2018,
ArXiv.
F. Paoli,
A. Salibra,
A. L. A. BUCCIARELLI,
2022
.
Antonino Salibra,
Don Pigozzi,
D. Pigozzi,
1995,
Stud Logica.
Antonino Salibra,
Don Pigozzi,
D. Pigozzi,
1993
.
Antonio Bucciarelli,
Alberto Carraro,
Antonino Salibra,
2013,
LSFA.
Alberto Carraro,
Antonino Salibra,
A. Salibra,
2012,
RAIRO Theor. Informatics Appl..
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2010,
J. Log. Comput..
Antonino Salibra,
Chantal Berline,
A. Salibra,
2006,
Theor. Comput. Sci..
Antonino Salibra,
A. Salibra,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Antonio Bucciarelli,
Alberto Carraro,
Antonino Salibra,
2014,
ICTCS.
Antonio Bucciarelli,
Alberto Carraro,
Antonino Salibra,
2016,
Theor. Comput. Sci..
Antonino Salibra,
A. Salibra,
2001,
BOTH.
Antonino Salibra,
Robert Goldblatt,
R. Goldblatt,
1999,
Inf. Comput..
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2008,
MFCS.
Antonino Salibra,
Stefania Lusin,
A. Salibra,
2004,
J. Log. Comput..