
Registered user since Tue 3 Dec 2019
Name:Johannes K. Fichte
Country:Germany
Affiliation:TU Dresden
Personal website:https://iccl.inf.tu-dresden.de/web/Johannes_Fichte
Contributions
PADL 2020 | Panel: Reasoning for machine learning at large Exploiting Database Systems and Treewidth for Counting | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile