Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2012 | |
| Articolo in rivista | |
| On Vaught's Conjecture and finitely valued MV algebras MATHEMATICAL LOGIC QUARTERLY. Vol. 58. Pag.139-152 ISSN:0942-5616. | |
| DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1002/malq.201020091 Codice identificativo ISI: WOS:000303919900005 Codice identificativo SCOPUS: 2-s2.0-84860893801 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| On Modal mu-Calculus over finite graphs with small components or small tree width INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 23. Pag.627-647 ISSN:0129-0541. | |
| Lenzi, Giacomo; Giovanna, D'Agostino | |
| Digital Object Identifier (DOI): 10.1142/S012905411240031X Codice identificativo ISI: WOS:000304003000005 Codice identificativo SCOPUS: 2-s2.0-84861016304 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| On a priced resource-bounded alternating mu-calculus. In: ICAART 2012 Setubal SciTePress Pag.222-227 ISBN:9789898425966 | |
| ICAART 2012 Vilamoura de Algarve, Portugal 6-8 febbraio 2012 | |
| D., Monica; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.5220/0003750102220227 Codice identificativo ISI: WOS:000327192600028 Codice identificativo SCOPUS: 2-s2.0-84862214438 | |
| Visualizza sul Database dei Prodotti (IRIS) |
