ANTONELLI, MELISSA
ANTONELLI, MELISSA
DISI - 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) | - |