MASINI, Andrea
MASINI, Andrea
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computational interpretation of modal proofs | 1-gen-1996 | S., Martini; Masini, Andrea | |
| Modal Logic, Linear Logic, Optimal Lambda-reduction | 1-gen-1999 | Guerrini, S.; Martini, S.; Masini, Andrea | |
| On the fine structure of the exponential rule | 1-gen-1995 | S., Martini; Masini, Andrea |