Login / Signup
José Martín Castro-Manzano
ORCID
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 13
Top Topics
Relevance Scores
Sequent Calculi
Decision Procedures
Deontic Logic
Top Venues
Diagrams
Res. Comput. Sci.
LANMR
CoRR
</>
Publications
</>