POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Christof Löding

Not registered as user yet

Name: Christof Löding

Affiliation: RWTH Aachen University

Contributions

POPL 2018Author of Foundations for Natural Proofs and Quantifier Instantiation within the Research Papers-track
Author of Foundations for Natural Proofs and Quantifier Instantiation within the Artifact Evaluation-track
Show activities from other conferences

POPL 2018-profile
View general profile