Registered user since Wed 23 Nov 2022
Name:Quentin Canu
Affiliation:Inria and Ecole Polytechnique
Contributions
CPP 2023 | A Formal Disproof of Hirsch Conjecture | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile