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..

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..

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, 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.