Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2001 | |
| Articolo in rivista | |
| Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 51. Pag.258-264 ISSN:1571-0661. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/S1571-0661(04)80208-1 Codice identificativo SCOPUS: 2-s2.0-19344363342 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Mu--depth 3 is more than 2: a game-theoretic proof MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. Vol. 11. Pag.273-297 ISSN:0960-1295. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1017/S0960129500003194 Codice identificativo SCOPUS: 2-s2.0-19344361989 | |
| Visualizza sul Database dei Prodotti (IRIS) |
