Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2013 | |
| Articolo in rivista | |
| Algebraically closed MV-algebras and their sheaf representation ANNALS OF PURE AND APPLIED LOGIC. Vol. 164. Pag.349-355 ISSN:0168-0072. | |
| DI NOLA, Antonio; Ferraioli, ANNA RITA; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.apal.2012.10.017 Codice identificativo ISI: WOS:000314432700009 Codice identificativo SCOPUS: 2-s2.0-84871046502 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| On modal mu-calculus in S5 and applications FUNDAMENTA INFORMATICAE. Vol. 124. Pag.1-18 ISSN:0169-2968. | |
| D'Agostino, G.; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.3233/FI-2013-844 Codice identificativo ISI: WOS:000320502200007 Codice identificativo SCOPUS: 2-s2.0-84879543555 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| On modal mu-calculus over reflexive and symmetric graphs JOURNAL OF LOGIC AND COMPUTATION. Vol. 23. Pag.445-455 ISSN:0955-792X. | |
| G., D'Agostino; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1093/logcom/exs028 Codice identificativo ISI: WOS:000319474400001 Codice identificativo SCOPUS: 2-s2.0-84877972829 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Hyperfinite MV-algebras JOURNAL OF PURE AND APPLIED ALGEBRA. Vol. 217. Pag.1208-1223 ISSN:0022-4049. | |
| Belluce, Lawrence Peter; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.jpaa.2012.10.012 Codice identificativo ISI: WOS:000316926100004 Codice identificativo SCOPUS: 2-s2.0-84873747409 | |
| Visualizza sul Database dei Prodotti (IRIS) |
