Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2005 | |
| Contributo in Atti di convegno | |
| The variable hierarchy of the $mu$-calculus is strict. In: STACS 2005 Berlin Springer Vol.3404, Pag.97-109 ISBN:978-3-540-24998-6 | |
| STACS 2005 Stuttgart 24-26 febbraio 2005 | |
| Lenzi, Giacomo; Berwanger, D. | |
| Digital Object Identifier (DOI): 10.1007/978-3-540-31856-9_8 Codice identificativo ISI: WOS:000229009500008 Codice identificativo SCOPUS: 2-s2.0-24144476234 | |
| Visualizza sul Database dei Prodotti (IRIS) |
