SPADONI, STELLA
SPADONI, STELLA
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On decidability and bounded proofs in fragments of computability logic | In corso di stampa | Spadoni, Stella; Perini Brogi, Cosimo | |
| On protocol security via computability logic | In corso di stampa | Perini Brogi, Cosimo; Spadoni, Stella; De Nicola, Rocco |