2. Docenti
  3. LENZI Giacomo
  4. Ricerca
  5. Pubblicazioni

Pubblicazioni

Giacomo LENZI Pubblicazioni


2001
Articolo in rivista
Mu--depth 3 is more than 2: a game-theoretic proof
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. Vol. 11. Pag.273-297
ISSN:0960-1295.
Lenzi, Giacomo
Digital Object Identifier (DOI): 10.1017/S0960129500003194
Codice identificativo SCOPUS: 2-s2.0-19344361989
Visualizza sul Database dei Prodotti (IRIS)
2001
Articolo in rivista
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop,
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 51. Pag.258-264
ISSN:1571-0661.
Lenzi, Giacomo
Digital Object Identifier (DOI): 10.1016/S1571-0661(04)80208-1
Codice identificativo SCOPUS: 2-s2.0-19344363342
Visualizza sul Database dei Prodotti (IRIS)
2001
Contributo in Atti di convegno
A new logical characterization of B"uchi automata.
In: STACS 2001 BERLIN Springer Vol.2010, Pag.467-477
ISBN:978-3-540-41695-1
STACS 2001
Dresden 15-17 febbraio 2001
Lenzi, Giacomo
Codice identificativo SCOPUS: 2-s2.0-23044528067
Visualizza sul Database dei Prodotti (IRIS)
2001
Contributo in Atti di convegno
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy.
In: LICS 2001 Los Alamitos IEEE Computer Society Pag.347-356
ISBN:0-7695-1281-X
LICS 2001
Boston 16-19 giugno 2001
Lenzi, Giacomo; Janin, D.
Codice identificativo ISI: WOS:000170688700033
Codice identificativo SCOPUS: 2-s2.0-0034864197
Visualizza sul Database dei Prodotti (IRIS)
2001
Contributo in Atti di convegno
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree.
In: LICS 2001 Los Alamitos IEEE Computer Society Pag.157-166
ISBN:0-7695-1281-X
LICS 2001
Boston 16-19 giugno 2001
Lenzi, Giacomo; Arnold, A.; Marcinkowski, J.
Digital Object Identifier (DOI): 10.1109/LICS.2001.932492
Codice identificativo ISI: WOS:000170688700016
Codice identificativo SCOPUS: 2-s2.0-0034858440
Visualizza sul Database dei Prodotti (IRIS)