IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 46
Titolo Data di pubblicazione Autore(i) File
Uniform interpolation, bisimulation quantifiers and fixed points 1-gen-2007 D'Agostino, Giovanna
Self Applied proof verification 1-gen-2007 D'Agostino, Giovanna; Omodeo, E; Schwartz, J; Tomescu, A.
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 1-gen-2008 D'Agostino, Giovanna; Lenzi, G.
Interpolation in non classical logic 1-gen-2008 D'Agostino, Giovanna
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 1-gen-2010 D'Agostino, Giovanna; Lenzi, G.
On the µ-calculus over transitive and finite transitive frames 1-gen-2010 D'Agostino, Giovanna; Lenzi, G.
On modal mu-calculus in S5 and application 1-gen-2011 D'Agostino, Giovanna; Lenzi, G.
Deciding the existence of Uniform Interpolants over Transitive Frames 1-gen-2011 D'Agostino, Giovanna; Lenzi, G.
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 1-gen-2012 D'Agostino, Giovanna; Lenzi, G.
Games, Automata, Logic, and Formal Verification (GandALF 2011) 1-gen-2013 D'Agostino, Giovanna; La Torre, S.
On modal µ-calculus over reflexive symmetric graphs 1-gen-2013 D'Agostino, Giovanna; Lenzi, G.
On Modal mu--Calculus in S5 and Applications 1-gen-2013 D'Agostino, Giovanna; Lenzi, G.
Bisimulation quantifiers and uniform interpolation for guarded first order logic 1-gen-2015 D'Agostino, Giovanna; Lenzi, Giacomo
Mapping Sets and Hypersets into Numbers 1-gen-2015 D'Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
On the Modal μ-Calculus over Finite Symmetric Graphs 1-gen-2015 D'Agostino, Giovanna; Lenzi, Giacomo
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
mu-levels of interpolation 1-gen-2018 D'Agostino, Giovanna
The logic of the reverse mathematics zoo 1-gen-2018 D'Agostino, Giovanna; Marcone, Alberto
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 1-gen-2018 D'Agostino, Giovanna; Lenzi, Giacomo
Uniform interpolation for propositional and modal team logics 1-gen-2019 D'Agostino, Giovanna
Mostrati risultati da 21 a 40 di 46
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile