Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nathan Bowler
conf.researchr.org general profile
POPL 2017 profile
Not registered as user yet
Name:
Nathan Bowler
Affiliation:
Universität Hamburg
Personal website:
http://www.math.uni-hamburg.de/home/bowler/
Contributions
2017
LAFI
Author of Commutativity logic for probabilistic trace equivalence: complete or not? within the PPS-track
Share
x
Thu 21 Nov 22:51