ANTONELLI, MELISSA
ANTONELLI, MELISSA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations
2024 Melissa Antonelli; Arnaud Durand; Juha Kontinen
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2024 Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone
On the Proof Theory of Apodictic Syllogistic
2024 Melissa Antonelli; Jan von Plato
Towards logical foundations for probabilistic computation
2024 Antonelli M.; Dal Lago U.; Pistone P.
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2023 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem
On Counting Propositional Logic and Wagner's Hierarchy
2023 Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo
Curry and Howard Meet Borel
2022 Melissa Antonelli; Ugo Dal Lago; Paolo Pistone
Towards Randomized Bounded Arithmetic
2022 Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo
Two Remarks on Counting Propositional Logic
2022 Melissa Antonelli
On Counting Propositional Logic and Wagner's Hierarchy
2021 Antonelli M.; Dal Lago U.; Pistone P.
On Measure Quantifiers in First-Order Arithmetic
2021 Antonelli M.; Dal Lago U.; Pistone P.
The Proof Theory of Apodictic Syllogistic
2020 Melissa Antonelli
| 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) | - |