Registered user since Sat 2 Dec 2017
Name: Kaustuv Chaudhuri
Country: France
Affiliation: Inria, France
Personal website: http://chaudhuri.info
Research interests: Proof theory, automated theorem proving
Contributions
| CPP 2019 | Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile