Login / Signup
Paulo Torrens
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Theorem Prover
English Language
Action Theories
Modal Logic
Top Venues
SBLP
CoRR
SAC
</>
Publications
</>