Stella Lara Mahler

Projektass.in(FWF) Dipl.-Ing.in / BSc

Role

On Proof Schemata and Primitive Recursive Arithmetic / Leitsch, A., Lolic, A., & Mahler, S. L. (2024). On Proof Schemata and Primitive Recursive Arithmetic. In N. Bjorner, M. Heule, & A. Voronkov (Eds.), LPAR 2024 Complementary Volume (pp. 117–130). https://doi.org/10.29007/4g2q
Project: Pandaforest (2022–2025)
Analytic proof theory for deontic Mīmāṃsā logic / Mahler, S. (2023). Analytic proof theory for deontic Mīmāṃsā logic [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.111021
Download: PDF (649 KB)