GUTTMAN, JOSHUA
GUTTMAN, JOSHUA
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Partial order semantics and operational semantics for strand spaces, via Rocq | 1-gen-2027 | Busi, MatteoFocardi, RiccardoGuttman, JoshuaLuccio, Flaminia | 2.1 Articolo su rivista | - |