
Registered user since Mon 25 Jan 2016
Name:Bernhard Scholz
Affiliation:University of Sydney, Australia
Personal website:http://sydney.edu.au/engineering/people/bernhard.scholz.php
Contributions
POPL 2020 | Provenance-Guided Synthesis of Datalog Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile