Thierry Marianne

According to our database, Thierry Marianne authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Automated Theorem Proving for Prolog Verification.

Fred Mesnard, Thierry Marianne, Étienne Payet

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