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

Using general profile