Buriola, Gabriele
Buriola, Gabriele
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.019 secondi).
A Constructive Picture of Noetherian Conditions and Well Quasi-orders
2023-01-01 Buriola, G.; Schuster, P.; Blechschmidt, I.
A decidable theory involving addition of differentiable real functions
2023-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory of differentiable functions with convexities and concavities on real intervals
2020-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A Decidable Theory Treating Addition of Differentiable Real Functions
2022-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Spart`a, G. T.
A General Constructive Form of Higman’s Lemma
2024-01-01 Berardi, S.; Buriola, G.; Schuster, P.
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability
2024-04-11 Buriola, Gabriele
| Titolo | Anno di pubblicazione | Autori Unitn | File |
|---|---|---|---|
| A Constructive Picture of Noetherian Conditions and Well Quasi-orders | 1-gen-2023 | Buriola G. + | |
| A decidable theory involving addition of differentiable real functions | 1-gen-2023 | Buriola G. + | |
| A decidable theory of differentiable functions with convexities and concavities on real intervals | 1-gen-2020 | Buriola G. + | |
| A Decidable Theory Treating Addition of Differentiable Real Functions | 1-gen-2022 | Buriola G. + | |
| A General Constructive Form of Higman’s Lemma | 1-gen-2024 | Buriola G. + | |
| Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability | 11-apr-2024 | Buriola, Gabriele |