Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
POPL 2021 (series) / Christoph Weidenbach

Not registered as user yet

Name:Christoph Weidenbach
Country:Germany
Affiliation:MPI-INF

Contributions

VMCAI 2021 Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
Show activities from other conferences

POPL 2021-profile
View general profile