Login / Signup
P. Selene Linares-Arévalo
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 4
Top Topics
Theorem Prover
Computing Systems
Proof Planning
Linear Logic
Top Venues
LSFA
CoRR
LANMR (Selected Papers)
J. Appl. Non Class. Logics
</>
Publications
</>