TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Stella Lara Mahler

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

Role

Contact

  • Proof Schemata and Primitive Recursive Arithmetic / Mahler, S. (2024, September 12). Proof Schemata and Primitive Recursive Arithmetic [Conference Presentation]. 6th International School and Workshop on Proof Theory (Proof Society 2024), Birmingham, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/211019
  • Herbrand's theorem for inductive proofs / Leitsch, A., & Mahler, S. (2024, June 25). Herbrand’s theorem for inductive proofs [Conference Presentation]. Logic Colloquium 2024, Göteburg, Sweden. http://hdl.handle.net/20.500.12708/211184
  • Simulation of Primitive Recursive Arithmetic Through Proof Schemata / Mahler, S. (2024, April 16). Simulation of Primitive Recursive Arithmetic Through Proof Schemata [Presentation]. Project Meeting, Grenoble, France. http://hdl.handle.net/20.500.12708/211017
  • 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)