Melissa Antonelli
From MaRDI portal
Person:2117746
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Enumerating error bounded polytime algorithms through arithmetical theories | 2026-02-19 | Paper |
| Towards new characterizations of small circuit classes via discrete ordinary differential equations Theoretical Computer Science | 2025-12-17 | Paper |
| Curry and Howard meet Borel | 2024-12-06 | Paper |
| Towards logical foundations for probabilistic computation Annals of Pure and Applied Logic | 2024-06-24 | Paper |
| Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories | 2023-11-25 | Paper |
| On counting propositional logic and Wagner's hierarchy Theoretical Computer Science | 2023-06-21 | Paper |
| On measure quantifiers in first-order arithmetic | 2022-03-22 | Paper |
| On measure quantifiers in first-order arithmetic (available as arXiv preprint) | 2022-03-22 | Paper |
| Curry and Howard Meet Borel | 2022-03-21 | Paper |
| On Measure Quantifiers in First-Order Arithmetic (Long Version) (available as arXiv preprint) | 2021-04-25 | Paper |
Research outcomes over time
This page was built for person: Melissa Antonelli
