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