Johannes Tantow

According to our database, Johannes Tantow authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Verifying Datalog Reasoning with Lean.

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

PLS-Completeness of String Permutations.

Dominik Scheder, Johannes Tantow

Proceedings of the 33rd Annual European Symposium on Algorithms, 2025