• Sign in
  • Sign up
conf.researchr.org / Christof Löding
  • POPL 2018 profile
  • SPLASH 2022 profile

Not registered as user yet

Name:Christof Löding
Country:Germany
Affiliation:RWTH Aachen University

Contributions

SPLASH 2022 Author of Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints within the OOPSLA-track
POPL 2018 Author 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

Share
xThu 9 Feb 13:02
using conf.researchr.org (v1.58.0)
Support page
Sign Up