Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2007 | |
| Articolo in rivista | |
| The variable hierarchy of the $mu$-calculus is strict. THEORY OF COMPUTING SYSTEMS. Vol. 40. Pag.437-466 ISSN:1432-4350. | |
| Berwanger, D; Graedel, E; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1007/s00224-006-1317-8 Codice identificativo ISI: WOS:000245244400009 Codice identificativo SCOPUS: 2-s2.0-34547177338 | |
| Visualizza sul Database dei Prodotti (IRIS) |
