Login / Signup
Josh Berdine
ORCID
Publication Activity (10 Years)
Years Active: 2002-2023
Publications (10 Years): 4
Top Topics
Spatial Reasoning
Concurrent Programs
Logic Programming
Complete Axiomatization
Top Venues
Proc. ACM Program. Lang.
SAS
CoRR
CAV (2)
</>
Publications
</>