Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christoph Weidenbach
conf.researchr.org general profile
POPL 2021 profile
Not registered as user
Name:
Christoph Weidenbach
Country:
Germany
Affiliation:
MPI-INF
Contributions
2021
CPP
Committee Member in Program Committee within the CPP 2021-track
VMCAI
Author of Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories within the VMCAI-track
Share
x
Mon 23 Jun 13:55