Login / Signup
Peter W. O'Hearn
ORCID
Publication Activity (10 Years)
Years Active: 1989-2023
Publications (10 Years): 17
Top Topics
Concurrent Programs
Algebraic Operations
Open Problems
Defeasible Logic
Top Venues
Proc. ACM Program. Lang.
RAMiCS
LICS
Commun. ACM
</>
Publications
</>