Registered user since Fri 10 Jan 2020
Name:Christian Doczkal
Affiliation:Université Côte d'Azur
Contributions
CPP 2020 | Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile