ANTONELLI, MELISSA

ANTONELLI, MELISSA  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.014 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations Melissa Antonelli;
Arnaud Durand;
Juha Kontinen
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; Isabel Oitavem; Paolo Pistone 2024-01-01 - - 4.01 Contributo in Atti di convegno csl2024.pdf
On the Proof Theory of Apodictic Syllogistic Melissa Antonelli; Jan von Plato 2024-01-01 - - 4.01 Contributo in Atti di convegno -
Towards logical foundations for probabilistic computation Antonelli M.; Dal Lago U.; Pistone P. 2024-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista -
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) -
On Counting Propositional Logic and Wagner's Hierarchy Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo 2023-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista 1-s2.0-S0304397523002414-main.pdf
Curry and Howard Meet Borel Melissa Antonelli; Ugo Dal Lago; Paolo Pistone 2022-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno lics2022a.pdf
Towards Randomized Bounded Arithmetic Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo 2022-01-01 - - 4.02 Riassunto (Abstract) -
Two Remarks on Counting Propositional Logic Melissa Antonelli 2022-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno paper2.pdf
On Counting Propositional Logic and Wagner's Hierarchy Antonelli M.; Dal Lago U.; Pistone P. 2021-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno ictcs2021.pdf
On Measure Quantifiers in First-Order Arithmetic Antonelli M.; Dal Lago U.; Pistone P. 2021-01-01 - Springer 4.01 Contributo in Atti di convegno cie2021long.pdf
The Proof Theory of Apodictic Syllogistic Melissa Antonelli 2020-01-01 - - 4.02 Riassunto (Abstract) -