Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 1996 | |
| Contributo in Atti di convegno | |
| A hierarchy theorem for the mu-calculus. In: ICALP '96 BERLIN Springer Vol.1099, Pag.87-97 ISBN:3540614400 | |
| ICALP '96 Paderborn, Germany 8-12 July 1996 | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-84947755850 | |
| Visualizza sul Database dei Prodotti (IRIS) |
