Login / Signup
Jorge A. Pérez
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 87
Top Topics
Linear Logic
Deadlock Free
Type Checking
Annual Conference
Top Venues
ACM SIGLOG News
CoRR
J. Log. Algebraic Methods Program.
Inf. Comput.
</>
Publications
</>