DAVOLI, DAVIDE
DAVOLI, DAVIDE
ARAG - AREA FINANZA E PARTECIPATE
Collaboratori
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2024 Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2023 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem
Towards Randomized Bounded Arithmetic
2022 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories | Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories |
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem |
2023-01-01 | - | - | 4.02 Riassunto (Abstract) | - |
Towards Randomized Bounded Arithmetic |
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
2022-01-01 | - | - | 4.02 Riassunto (Abstract) | - |