NEGRI, Sara
NEGRI, Sara
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.016 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A TERMINATING INTUITIONISTIC CALCULUS | 1-gen-2025 | Fellin, Giulio; Negri, Sara | |
| Glivenko sequent classes and constructive cut elimination in geometric logics | 1-gen-2023 | Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio |