FERRARA, MARCO
FERRARA, MARCO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Certified Algorithms for Numerical Semigroups in Rocq | 1-gen-2025 | Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco | - | Springer Cham |