Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Stuckey
conf.researchr.org general profile
POPL 2016 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Peter Stuckey
Country:
Australia
Affiliation:
University of Melbourne
Contributions
2020
LPOP
Invited Speaker of Invited Talk: From CLP(R) to MiniZinc: There and Back Again within the LPOP 2020-track
Panelist of Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? within the LPOP 2020-track
2016
VMCAI
Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track
Share
x
Thu 21 Nov 17:10