Melissa Antonelli

Künstliche Intell., August, 2024

On Randomized Computational Models and Complexity Classes: a Historical Overview.

[BibT_eX]

[DOI]

CoRR, 2024

Towards logical foundations for probabilistic computation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2024

A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations.

[BibT_eX]

[DOI]

Arnaud Durand

Juha Kontinen

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper).

[BibT_eX]

[DOI]

Arnaud Durand

Juha Kontinen

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

[BibT_eX]

[DOI]

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

On the Proof Theory of Apodictic Syllogistic.

[BibT_eX]

Jan von Plato

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

On counting propositional logic and Wagner's hierarchy.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

An Arithmetic Theory for the Poly-Time Random Functions.

[BibT_eX]

[DOI]

CoRR, 2023

Towards a Logical Foundation of Randomized Computation.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Bias, 2023

2022

Some Remarks on Counting Propositional Logic.

[BibT_eX]

[DOI]

CoRR, 2022

Curry and Howard Meet Borel.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Two Remarks on Counting Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of 1st Workshop on Bias, 2022

2021

On Measure Quantifiers in First-Order Arithmetic (Long Version).

[BibT_eX]

[DOI]

CoRR, 2021

On Counting Propositional Logic.

[BibT_eX]

[DOI]

CoRR, 2021

On Measure Quantifiers in First-Order Arithmetic.

[BibT_eX]

[DOI]