SOLITRO, Ugo
SOLITRO, Ugo
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
A typed calculus based on a fragment of linear logic
1989-01-01 Solitro, Ugo
Local computations in linear logic
1993-01-01 Solitro, Ugo; Valentini, Silvio
Sheaves over Right Sided Idempotent Quantales
1998-01-01 Miraglia, F.; Solitro, Ugo
The modal logic of the consistency assertion of Peano Arithmetic
1983-01-01 Solitro, Ugo; Valentini, Silvio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A typed calculus based on a fragment of linear logic | 1-gen-1989 | Solitro, Ugo | |
| Local computations in linear logic | 1-gen-1993 | Solitro, Ugo; Valentini, Silvio | |
| Sheaves over Right Sided Idempotent Quantales | 1-gen-1998 | Miraglia, F.; Solitro, Ugo | |
| The modal logic of the consistency assertion of Peano Arithmetic | 1-gen-1983 | Solitro, Ugo; Valentini, Silvio |