Login / Signup
Marco Bernardo
ORCID
Publication Activity (10 Years)
Years Active: 1994-2024
Publications (10 Years): 25
Top Topics
Description Languages
Modal Logic
Theoretical Computer Science
Discriminating Power
Top Venues
Theor. Comput. Sci.
CoRR
ICTCS
FORTE
</>
Publications
</>