conf.researchr.org / Christian Doczkal
Registered user since Fri 10 Jan 2020
Name:Christian Doczkal
Affiliation:Université Côte d'Azur
Contributions
| CPP 2020 | Author of Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq within the CPP 2020-track |