Login / Signup
Diego Valota
ORCID
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 10
Top Topics
Boolean Algebra
Linearly Ordered
Automated Reasoning
Modal Logic
Top Venues
Soft Comput.
CoRR
IPMU (2)
ISMVL
</>
Publications
</>