Stella Mahler

According to our database¹, Stella Mahler authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Towards an Analysis of Proofs in Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, June, 2024

On Proof Schemata and Primitive Recursive Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024