Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2002 | |
| Articolo in rivista | |
| A basic theory with predicates BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY SIMON STEVIN. Vol. 9 (1). Pag.73-100 ISSN:1370-1444. | |
| Lenzi, Giacomo; Tortorelli, V. | |
| Digital Object Identifier (DOI): 10.36045/bbms/1102715142 Codice identificativo ISI: WOS:000176137100007 Codice identificativo SCOPUS: 2-s2.0-0042887219 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Articolo in rivista | |
| On the logical definability of topologically closed recognizable languages of infinite trees COMPUTING AND INFORMATICS. Vol. 21. Pag.185-203 ISSN:1335-9150. | |
| Lenzi, Giacomo; Janin, D. | |
| Codice identificativo ISI: WOS:000180569700001 Codice identificativo SCOPUS: 2-s2.0-0346677538 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| On the variable hierarchy of the modal mu-calculus. In: Computer Science Logic 2002 BERLIN Springer Vol.2471, Pag.352-366 ISBN:3-540-44240-5 | |
| CSL 2002 Edinburgh 2002 | |
| D., Berwanger; E., Graedel; Lenzi, Giacomo | |
| Codice identificativo ISI: WOS:000187294300024 Codice identificativo SCOPUS: 2-s2.0-23044532315 | |
| Visualizza sul Database dei Prodotti (IRIS) |
