MANARA, GIULIA

MANARA, GIULIA  

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