Verónica Borja Macías

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 9

Top Topics

Proof Procedures

Top Venues

Logica Universalis

LANMR (Selected Papers)

Publications