GUERRIERI, GIULIO
GUERRIERI, GIULIO
Dipartimento di Ingegneria civile, informatica e delle tecnologie aeronautiche
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Confluence for Proof Nets via Parallel Cut Elimination | 1-gen-2024 | Guerrieri, Giulio; Manara, Giulia; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel |