D'AGOSTINO, Giovanna
D'AGOSTINO, Giovanna
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A Linear-size Cascade Decomposition for Wheeler Automata
2023-01-01 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
2008-01-01 D'Agostino, Giovanna; Lenzi, G.
A set-theoretic translation method for (poly)modal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for polymodal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018.
2018-01-01 Bezhanishvili, Guram; D'Agostino, Giovanna; Metcalfe, George; Studer, Thomas
An axiomatization of Bisimulation Quantifiers via the mu-calculus,
2005-01-01 D'Agostino, Giovanna; Lenzi, G.
Bisimulation quantifiers and uniform interpolation for guarded first order logic
2015-01-01 D'Agostino, Giovanna; Lenzi, Giacomo
Cascade products and Wheeler automata
2024-01-01 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
Cayley graph of virtualy free groups
1993-01-01 D'Agostino, Giovanna
Characterizing interpolation pairs in infinitary graded logics
2003-01-01 D'Agostino, Giovanna
Co-lexicographically Ordering Automata and Regular Languages - Part I
2023-01-01 Cotumaccio, N.; D'Agostino, G.; Policriti, A.; Prezza, N.
Complete Recursively Enumerable Relations in Arithmetic
1995-01-01 D'Agostino, Giovanna; Magnago, M.
Deciding the existence of Uniform Interpolants over Transitive Frames
2011-01-01 D'Agostino, Giovanna; Lenzi, G.
Extensions of S1S and the composition method
2006-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
FINALITY REGAINED
2002-01-01 D'Agostino, Giovanna; Visser, A.
Games, Automata, Logic, and Formal Verification (GandALF 2011)
2013-01-01 D'Agostino, Giovanna; La Torre, S.
Il X Problema di Hilbert
2003-01-01 D'Agostino, Giovanna
Interpolation in non classical logic
2008-01-01 D'Agostino, Giovanna
Logical Questions concerning the mu-calculus
2000-01-01 D'Agostino, Giovanna; Hollenberg, M.
Mapping Sets and Hypersets into Numbers
2015-01-01 D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Linear-size Cascade Decomposition for Wheeler Automata | 1-gen-2023 | D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A. | |
| A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames | 1-gen-2008 | D'Agostino, Giovanna; Lenzi, G. | |
| A set-theoretic translation method for (poly)modal logics | 1-gen-1995 | D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto | |
| A set-theoretic translation method for polymodal logics | 1-gen-1995 | D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto | |
| Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. | 1-gen-2018 | Bezhanishvili, Guram; D'Agostino, Giovanna; Metcalfe, George; Studer, Thomas | |
| An axiomatization of Bisimulation Quantifiers via the mu-calculus, | 1-gen-2005 | D'Agostino, Giovanna; Lenzi, G. | |
| Bisimulation quantifiers and uniform interpolation for guarded first order logic | 1-gen-2015 | D'Agostino, Giovanna; Lenzi, Giacomo | |
| Cascade products and Wheeler automata | 1-gen-2024 | D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A. | |
| Cayley graph of virtualy free groups | 1-gen-1993 | D'Agostino, Giovanna | |
| Characterizing interpolation pairs in infinitary graded logics | 1-gen-2003 | D'Agostino, Giovanna | |
| Co-lexicographically Ordering Automata and Regular Languages - Part I | 1-gen-2023 | Cotumaccio, N.; D'Agostino, G.; Policriti, A.; Prezza, N. | |
| Complete Recursively Enumerable Relations in Arithmetic | 1-gen-1995 | D'Agostino, Giovanna; Magnago, M. | |
| Deciding the existence of Uniform Interpolants over Transitive Frames | 1-gen-2011 | D'Agostino, Giovanna; Lenzi, G. | |
| Extensions of S1S and the composition method | 1-gen-2006 | D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto | |
| FINALITY REGAINED | 1-gen-2002 | D'Agostino, Giovanna; Visser, A. | |
| Games, Automata, Logic, and Formal Verification (GandALF 2011) | 1-gen-2013 | D'Agostino, Giovanna; La Torre, S. | |
| Il X Problema di Hilbert | 1-gen-2003 | D'Agostino, Giovanna | |
| Interpolation in non classical logic | 1-gen-2008 | D'Agostino, Giovanna | |
| Logical Questions concerning the mu-calculus | 1-gen-2000 | D'Agostino, Giovanna; Hollenberg, M. | |
| Mapping Sets and Hypersets into Numbers | 1-gen-2015 | D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. |