Leon Kullmann

According to our database, Leon Kullmann authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Symmetric Proofs in the Ideal Proof System.

Anuj Dawar, Erich Grädel, Leon Kullmann, Benedikt Pago

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025