Giovanna D'Agostino
发表
Alexandru I. Tomescu,
Eugenio G. Omodeo,
Jacob T. Schwartz,
2007
.
Alberto Marcone,
Giovanna D'Agostino,
Alberto Marcone,
2015,
Mathematical Structures in Computer Science.
Albert Visser,
Giovanna D'Agostino,
A. Visser,
1999,
Arch. Math. Log..
Salvatore La Torre,
Giovanna D'Agostino,
2011
.
Salvatore La Torre,
Giovanna D'Agostino,
2011
.
Johan van Benthem,
Angelo Montanari,
Alberto Policriti,
1997,
J. Log. Comput..
Tim French,
Giacomo Lenzi,
Giovanna D'Agostino,
2006,
J. Appl. Non Class. Logics.
Marco Hollenberg,
Giovanna D'Agostino,
M. Hollenberg,
2000,
Journal of Symbolic Logic.
Giacomo Lenzi,
Giovanna D'Agostino,
2011,
Arch. Math. Log..
Giovanna D'Agostino,
Claudio Bernardi,
1996,
J. Philos. Log..
Giovanna D'Agostino,
Mario Magnago,
1995,
Math. Log. Q..
Giovanna D'Agostino,
1994,
Notre Dame J. Formal Log..
Giacomo Lenzi,
Giovanna D'Agostino,
2008,
J. Log. Comput..
Angelo Montanari,
Alberto Policriti,
Giovanna D'Agostino,
2004,
Journal of Automated Reasoning.
Angelo Montanari,
Alberto Policriti,
Giovanna D'Agostino,
1995
.
Alberto Policriti,
Giovanna D'Agostino,
Nicola Prezza,
2019,
SODA.
Giacomo Lenzi,
Giovanna D'Agostino,
2005,
Theor. Comput. Sci..
Salvatore La Torre,
Giovanna D'Agostino,
2013,
Theor. Comput. Sci..
Giovanna D'Agostino,
1993,
Int. J. Algebra Comput..
Giovanna D'Agostino,
2003,
J. Log. Comput..
Angelo Montanari,
Alberto Policriti,
Giovanna D'Agostino,
1995
.
Giacomo Lenzi,
Giovanna D'Agostino,
2013,
Fundam. Informaticae.
Johan van Benthem,
Angelo Montanari,
Alberto Policriti,
1998,
Stud Logica.
Giovanna D'Agostino,
2005,
TbiLLC.
Giovanna D'Agostino,
2008,
Synthese.
Alberto Policriti,
Giovanna D'Agostino,
Nicola Prezza,
2020,
Inf. Comput..
Giacomo Lenzi,
Giovanna D'Agostino,
2010,
Theor. Comput. Sci..
Giacomo Lenzi,
Giovanna D'Agostino,
2013,
J. Log. Comput..
Giovanna D'Agostino,
G. D’Agostino,
2018,
J. Log. Comput..
Angelo Montanari,
Alberto Policriti,
Giovanna D'Agostino,
1995,
STACS.
Giacomo Lenzi,
Giovanna D'Agostino,
2015,
Theor. Comput. Sci..
Giacomo Lenzi,
Giovanna D'Agostino,
2011,
CILC.
Alberto Policriti,
Alexandru I. Tomescu,
Eugenio G. Omodeo,
2015,
Fundam. Informaticae.
Giacomo Lenzi,
Giovanna D'Agostino,
G. Lenzi,
2010,
GANDALF.
Giacomo Lenzi,
Giovanna D'Agostino,
2012,
Int. J. Found. Comput. Sci..
Marco Hollenberg,
Giovanna D'Agostino,
M. Hollenberg,
1996,
Advances in Modal Logic.
Alberto Policriti,
Giovanna D'Agostino,
Davide Martincigh,
2021,
ICTCS.
Alberto Policriti,
Giovanna D'Agostino,
Nicola Prezza,
2021,
ArXiv.
Alberto Policriti,
Giovanna D'Agostino,
Nicola Prezza,
2021,
ArXiv.