Quentin Canu

According to our database, Quentin Canu authored at least 2 papers between 2019 and 2023.

Collaborative distances:

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

2023

A Formal Disproof of Hirsch Conjecture.

Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2019

Public Group Announcements and Trust in Doxastic Logic.

Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019