GUERRIERI, GIULIO
GUERRIERI, GIULIO
Dipartimento di Filosofia (attivo dal 01/07/2008 al 31/12/2012)
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 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 |