Quentin Canu

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Trust Evaluation

Predicate Logic

Top Venues

Publications

Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub
A Formal Disproof of Hirsch Conjecture. CPP (2023)
Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub
A Formal Disproof of the Hirsch Conjecture. CoRR (2023)
Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina
Public Group Announcements and Trust in Doxastic Logic. LORI (2019)