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