Stella Mahler

According to our database, Stella Mahler authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Proof Schemata and Primitive Recursive Arithmetic.

Alexander Leitsch, Anela Lolic, Stella Mahler

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