Login / Signup
Matteo Pascucci
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 24
Top Topics
Horizontal Fragmentation
Default Theories
Modal Logic
Automated Reasoning
Top Venues
CoRR
JURIX
PRIMA
DEON
</>
Publications
</>