SCOLLO, Giuseppe
SCOLLO, Giuseppe
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
Algebraic Methods in Language Processing, AMiLP 2003
2003-01-01 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
Equational Type logic
1990-01-01 Manca, Vincenzo; A., Salibra; Scollo, Giuseppe
Introducing equational type logic
1991-01-01 Manca, Vincenzo; A., Salibra; Scollo, Giuseppe
On the expresiveness of equational type logic
1992-01-01 Manca, Vincenzo; Salibra, A.; Scollo, Giuseppe
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Algebraic Methods in Language Processing, AMiLP 2003 | 1-gen-2003 | Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt | |
| 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 | |
| On the expresiveness of equational type logic | 1-gen-1992 | Manca, Vincenzo; Salibra, A.; Scollo, Giuseppe |