Login / Signup
Xavier Parent
ORCID
Publication Activity (10 Years)
Years Active: 2001-2023
Publications (10 Years): 28
Top Topics
Tool Support
Deontic Logic
Theorem Prover
Consistency Check
Top Venues
DEON
CoRR
FLAP
JURIX
</>
Publications
</>