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