FELLIN, GIULIO
FELLIN, GIULIO
DIPARTIMENTO DI BIOTECNOLOGIE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.015 secondi).
A Generalization of Cantor’s Theorem
2018-01-01 Fellin, Giulio
A TERMINATING INTUITIONISTIC CALCULUS
2025-01-01 Fellin, Giulio; Negri, Sara
CONSERVATION AS TRANSLATION
2025-01-01 Fellin, Giulio; Schuster, Peter
Glivenko sequent classes and constructive cut elimination in geometric logics
2023-01-01 Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
The Jacobson Radical of a Propositional Theory
2022-01-01 Fellin, Giulio; Schuster, Peter; Wessel, Daniel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Generalization of Cantor’s Theorem | 1-gen-2018 | Fellin, Giulio | |
| A TERMINATING INTUITIONISTIC CALCULUS | 1-gen-2025 | Fellin, Giulio; Negri, Sara | |
| CONSERVATION AS TRANSLATION | 1-gen-2025 | Fellin, Giulio; Schuster, Peter | |
| Glivenko sequent classes and constructive cut elimination in geometric logics | 1-gen-2023 | Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio | |
| The Jacobson Radical of a Propositional Theory | 1-gen-2022 | Fellin, Giulio; Schuster, Peter; Wessel, Daniel |