conf.researchr.org / Andrei Voronkov
Not registered as user yet
Name: Andrei Voronkov
Affiliation: University of Manchester
Personal website: http://www.voronkov.com/
Contributions
| POPL 2017 | Author of Coming to Terms with Quantified Reasoning within the POPL-track |
| CPP 2016 | Author of The Vampire and the FOOL within the CPP-track |