ETAPS 2019 (series) / Abhishek De
Not registered as user yet
Name: Abhishek De
Affiliation: IRIF, CNRS, France
Personal website: http://www.irif.fr/~ade
Contributions
| GaLoP 2019 | Author of Towards Circular Proof Nets within the GaLoP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile