Buriola, Gabriele
Buriola, Gabriele
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.012 secondi).
A Constructive Picture of Noetherian Conditions and Well Quasi-orders
2023-01-01 Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo
A General Constructive Form of Higman’s Lemma
2024-01-01 Buriola, Gabriele; Schuster, Peter; Berardi (Torino), Stefano
Proof extraction for explanations in defeasible deontic logic
2026-01-01 Pasetto, Luca; Governatori, Guido; Buriola, Gabriele; Cristani, Matteo
Well quasi-orders, better quasi-orders, and monomial ideals
2026-01-01 Buriola, Gabriele; Schuster, Peter
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Constructive Picture of Noetherian Conditions and Well Quasi-orders | 1-gen-2023 | Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo | |
| A General Constructive Form of Higman’s Lemma | 1-gen-2024 | Buriola, Gabriele; Schuster, Peter; Berardi (Torino), Stefano | |
| Proof extraction for explanations in defeasible deontic logic | 1-gen-2026 | Pasetto, Luca; Governatori, Guido; Buriola, Gabriele; Cristani, Matteo | |
| Well quasi-orders, better quasi-orders, and monomial ideals | 1-gen-2026 | Buriola, Gabriele; Schuster, Peter |