Johann Rosain

According to our database, Johann Rosain authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

A Generic Deskolemization Strategy.

Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2022

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022