Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2005 | |
| Articolo in rivista | |
| An axiomatization of bisimulation quantifiers via the mu-calculus. THEORETICAL COMPUTER SCIENCE. Vol. 338. Pag.64-95 ISSN:0304-3975. | |
| D'Agostino, G; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2004.10.040 Codice identificativo ISI: WOS:000229683100003 Codice identificativo SCOPUS: 2-s2.0-18544367003 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| The modal $mu$-calculus: a survey, T.A.S.K. QUARTERLY. Vol. 9 (3). Pag.293-316 ISSN:1428-6394. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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) |
