Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2015 | |
| Articolo in rivista | |
| On the Modal mu-calculus over finite symmetric graphs MATHEMATICA SLOVACA. Vol. 65. Pag.731-746 ISSN:0139-9918. | |
| Giovanna, D'Agostino; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1515/ms-2015-0052 Codice identificativo ISI: WOS:000365543500004 Codice identificativo SCOPUS: 2-s2.0-84945131649 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| On generalizing the Nullstellensatzfor MV algebras JOURNAL OF LOGIC AND COMPUTATION. Vol. 25. Pag.701-717 ISSN:0955-792X. | |
| L. P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): doi:10.1093/logcom/exu042 Codice identificativo ISI: WOS:000355952200009 Codice identificativo SCOPUS: 2-s2.0-84942118868 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic THEORETICAL COMPUTER SCIENCE. Vol. 563. Pag.75-85 ISSN:0304-3975. | |
| D'Agostino, Giovanna; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2014.08.015 Codice identificativo ISI: WOS:000348951200003 Codice identificativo SCOPUS: 2-s2.0-84926383744 | |
| Visualizza sul Database dei Prodotti (IRIS) |
