Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2006 | |
| Articolo in rivista | |
| On modal $mu$-calculus with explicit interpolants JOURNAL OF APPLIED LOGIC. Vol. 4. Pag.256-278 ISSN:1570-8683. | |
| Lenzi, Giacomo; G., D'Agostino | |
| Digital Object Identifier (DOI): 10.1016/j.jal.2005.06.008 Codice identificativo SCOPUS: 2-s2.0-33746842258 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic JOURNAL OF APPLIED NON-CLASSICAL LOGICS. Vol. 16. Pag.297-309 ISSN:1166-3081. | |
| Lenzi, Giacomo; D'Agostino, G.; French, T. | |
| Digital Object Identifier (DOI): 10.3166/jancl.16.297-309 Codice identificativo SCOPUS: 2-s2.0-38049038249 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| About a positive set theory with equality, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 169. Pag.111-120 ISSN:1571-0661. | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-33847166542 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| The transitive $mu$-Calculus is B"uchi definable, WSEAS TRANSACTIONS ON MATHEMATICS. Vol. 5 (9). Pag.1021-1026 ISSN:1109-2769. | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-33746889058 | |
| Visualizza sul Database dei Prodotti (IRIS) |
