Write a Blog >>
Bernhard Scholz

Registered user since Mon 25 Jan 2016

Name:Bernhard Scholz
Affiliation:University of Sydney, Australia

Contributions

POPL 2020 Provenance-Guided Synthesis of Datalog Programs
Show activities from other conferences

POPL 2020-profile
View general profile