Write a Blog >>

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