Melissa Antonelli
From MaRDI portal
Person:2117746
Available identifiers
zbMath Open antonelli.melissaMaRDI QIDQ2117746
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 |
|---|---|---|
| Curry and Howard meet Borel | 2024-12-06 | Paper |
| Towards logical foundations for probabilistic computation | 2024-06-24 | Paper |
| Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories | 2023-11-25 | Paper |
| On counting propositional logic and Wagner's hierarchy | 2023-06-21 | Paper |
| On measure quantifiers in first-order arithmetic | 2022-03-22 | Paper |
| Curry and Howard Meet Borel | 2022-03-21 | Paper |
| On Measure Quantifiers in First-Order Arithmetic (Long Version) | 2021-04-25 | Paper |
Research outcomes over time
This page was built for person: Melissa Antonelli
