Buriola, Gabriele
Buriola, Gabriele
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
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 | Berardi, Stefano; Buriola, Gabriele; Schuster, Peter |