SPEZZANO, Francesca
SPEZZANO, Francesca
DIPARTIMENTO di elettronica, informatica e sistemistica. (attivo dal 01/01/1900 al 30/09/2014)
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Checking termination of bottom-up evaluation of logic programs with function symbols | 1-gen-2015 | Calautti, M; Greco, S; Spezzano, F; Trubitsyna, I |