Login / Signup
Favio Ezequiel Miranda-Perea
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Modal Logic
Prime Implicates
Computationally Intensive
Proof Search
Top Venues
Computación y Sistemas (CyS)
Math. Struct. Comput. Sci.
</>
Publications
</>