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