Login / Signup
Ana Teresa C. Martins
ORCID
Publication Activity (10 Years)
Years Active: 1996-2021
Publications (10 Years): 11
Top Topics
Decision Problems
Monotone Dnf
Quantifier Elimination
Polynomial Hierarchy
Top Venues
BRACIS
LSFA
Theor. Comput. Sci.
J. Comput. Syst. Sci.
</>
Publications
</>