conf.researchr.org / Andrei Voronkov
Not registered as user yet
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 |
Not registered as user yet
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 |