Giacomo LENZI | Publications
Giacomo LENZI Publications
| 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 | |
| Show it in Product Database (IRIS) |
| 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 | |
| Show it in Product Database (IRIS) |
