IRIS

D'AGOSTINO, Giovanna

D'AGOSTINO, Giovanna  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 52 (tempo di esecuzione: 0.051 secondi).
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.
Finite-State Transducers in the Wheeler Setting 1-gen-2026 D'Agostino, G.; Paradiso, 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.