Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2010 | |
| Articolo in rivista | |
| On the Mu-calculus over transitive and finite transitive frames THEORETICAL COMPUTER SCIENCE. Vol. 411. Pag.4273-4290 ISSN:0304-3975. | |
| Lenzi, Giacomo; Giovanna, D'Agostino | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2010.09.002 Codice identificativo ISI: WOS:000284493500001 Codice identificativo SCOPUS: 2-s2.0-78049247892 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Representation of MV algebras by regular ultrapowers of [0,1] ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 49/4. Pag.491-500 ISSN:0933-5846. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/s00153-010-0182-y Codice identificativo ISI: WOS:000277246000004 Codice identificativo SCOPUS: 2-s2.0-84893678204 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Recent results on Modal Mu-calculus: a survey RENDICONTI DELL'ISTITUTO DI MATEMATICA DELL'UNIVERSITÀ DI TRIESTE. Vol. 42. Pag.235-255 ISSN:0049-4704. | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-85012863427 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| On modal mu-calculus over finite graphs with bounded strongly connected components. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. Pag.55-71 ISSN:2075-2180. | |
| Lenzi, G.; D'Agostino, G. | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.25.9 Codice identificativo SCOPUS: 2-s2.0-85009843347 | |
| Visualizza sul Database dei Prodotti (IRIS) |
