Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Markus Eger
conf.researchr.org general profile
POPL 2017 profile
Not registered as user
Name:
Markus Eger
Contributions
2017
Off the Beaten Track
Author of Programming with Epistemic Logic within the OBT-track
Share
x
Sun 22 Dec 09:37