Login / Signup
Elaine Pimentel
ORCID
Publication Activity (10 Years)
Years Active: 2002-2024
Publications (10 Years): 42
Top Topics
Automated Deduction
Linear Logic
Sequent Calculi
Proof Search
Top Venues
CoRR
LSFA
LPAR
Theor. Comput. Sci.
</>
Publications
</>