Login / Signup
David M. Cerna
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 41
Top Topics
Cut Elimination
Theorem Proving
Predicate Invention
Inductive Logic Programming
Top Venues
CoRR
FSCD
SYNASC
SCSS
</>
Publications
</>