SCOLLO, Giuseppe
SCOLLO, Giuseppe
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.002 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Equational Type logic | 1-gen-1990 | Manca, Vincenzo; A., Salibra; Scollo, Giuseppe | |
| Introducing equational type logic | 1-gen-1991 | Manca, Vincenzo; A., Salibra; Scollo, Giuseppe |