Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
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
Algebraic Methods in Language Processing, AMiLP 2003
2003-01-01 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
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 | |
On the expresiveness of equational type logic | 1-gen-1992 | Manca, Vincenzo; Salibra, A.; Scollo, Giuseppe | |
Algebraic Methods in Language Processing, AMiLP 2003 | 1-gen-2003 | Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile