Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Counting Propositional Logic., , and . CoRR, (2021)On Measure Quantifiers in First-Order Arithmetic., , and . CiE, volume 12813 of Lecture Notes in Computer Science, page 12-24. Springer, (2021)Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories., , , , and . CoRR, (2023)Some Remarks on Counting Propositional Logic.. CoRR, (2022)Curry and Howard Meet Borel., , and . LICS, page 45:1-45:13. ACM, (2022)Towards a Logical Foundation of Randomized Computation.. BEWARE@AI*IA, volume 3615 of CEUR Workshop Proceedings, page 61-72. CEUR-WS.org, (2023)Two Remarks on Counting Propositional Logic.. BEWARE@AI*IA, volume 3319 of CEUR Workshop Proceedings, page 20-32. CEUR-WS.org, (2022)An Arithmetic Theory for the Poly-Time Random Functions., , , , and . CoRR, (2023)On Counting Propositional Logic and Wagner's Hierarchy., , and . ICTCS, volume 3072 of CEUR Workshop Proceedings, page 107-121. CEUR-WS.org, (2021)Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories., , , , and . CSL, volume 288 of LIPIcs, page 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)