Leo Repp

According to our database, Leo Repp authored at least 1 paper in 2023.

Collaborative distances:

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

2023

nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic.

Leo Repp, Mario Frank

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023