Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Kappé
conf.researchr.org general profile
POPL 2020 profile
Registered user since Tue 28 Jan 2020
Name:
Tobias Kappé
Affiliation:
University College London
Contributions
2020
POPL
Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track
Share
x
Sat 21 Dec 17:32