Login / Signup
Pedro H. Azevedo de Amorim
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 9
Top Topics
Expressive Power
Predicate Calculus
Horn Clauses
Quantifier Elimination
Top Venues
CoRR
CSF
FoSSaCS
LICS
</>
Publications
</>