UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 97
Titolo Data di pubblicazione Autore(i) File
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 1-gen-2001 Lenzi, Giacomo; Janin, D.
Mu--depth 3 is more than 2: a game-theoretic proof 1-gen-2001 Lenzi, Giacomo
A basic theory with predicates 1-gen-2002 Lenzi, Giacomo; Tortorelli, V.
On the logical definability of topologically closed recognizable languages of infinite trees 1-gen-2002 Lenzi, Giacomo; Janin, D.
On the variable hierarchy of the modal mu-calculus 1-gen-2002 D., Berwanger; E., Graedel; Lenzi, Giacomo
On fixpoint arithmetic and infinite time Turing machines, 1-gen-2004 Lenzi, Giacomo; Monteleone, E.
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 1-gen-2004 Lenzi, Giacomo; D., Janin
The modal $mu$-calculus: a survey, 1-gen-2005 Lenzi, Giacomo
The variable hierarchy of the $mu$-calculus is strict 1-gen-2005 Lenzi, Giacomo; Berwanger, D.
An axiomatization of bisimulation quantifiers via the mu-calculus. 1-gen-2005 D'Agostino, G; Lenzi, Giacomo
On modal $mu$-calculus with explicit interpolants 1-gen-2006 Lenzi, Giacomo; G., D'Agostino
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 1-gen-2006 Lenzi, Giacomo; D'Agostino, G.; French, T.
About a positive set theory with equality, 1-gen-2006 Lenzi, Giacomo
The transitive $mu$-Calculus is B"uchi definable, 1-gen-2006 Lenzi, Giacomo
The variable hierarchy of the $mu$-calculus is strict. 1-gen-2007 Berwanger, D; Graedel, E; Lenzi, Giacomo
A positive set theory with equality revisited 1-gen-2008 Lenzi, Giacomo
A note on bisimulation quantifiers and fixed points over transitive frames 1-gen-2008 Lenzi, Giacomo; D'Agostino, G.
Recent results on Modal Mu-calculus: a survey 1-gen-2010 Lenzi, Giacomo
Representation of MV algebras by regular ultrapowers of [0,1] 1-gen-2010 DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca
On modal mu-calculus over finite graphs with bounded strongly connected components. 1-gen-2010 Lenzi, G.; D'Agostino, G.
Mostrati risultati da 21 a 40 di 97
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