Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2004 | |
| Articolo in rivista | |
| On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus FUNDAMENTA INFORMATICAE. Vol. 61. Pag.247-265 ISSN:0169-2968. | |
| Lenzi, Giacomo; D., Janin | |
| Codice identificativo ISI: WOS:000223728800004 Codice identificativo SCOPUS: 2-s2.0-4043174728 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| On fixpoint arithmetic and infinite time Turing machines, INFORMATION PROCESSING LETTERS. Vol. 91 (3). Pag.121-128 ISSN:0020-0190. | |
| Lenzi, Giacomo; Monteleone, E. | |
| Digital Object Identifier (DOI): 10.1016/j.ipl.2004.04.001 Codice identificativo ISI: WOS:000222536100003 Codice identificativo SCOPUS: 2-s2.0-2942691893 | |
| Visualizza sul Database dei Prodotti (IRIS) |
