Login / Signup
Jens Katelaan
ORCID
Publication Activity (10 Years)
Years Active: 2011-2020
Publications (10 Years): 7
Top Topics
Classical Logic
Stochastic Models
Automated Reasoning
Logic Based Argumentation
Top Venues
LPAR (Workshop and Short Papers)
CoRR
ISoLA (2)
ESOP
</>
Publications
</>