Buriola, Gabriele
Buriola, Gabriele
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 |