Login / Signup
Delia Kesner
ORCID
Publication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 51
Top Topics
Selected Papers
Classical Logic
Generalization Error Bounds
Natural Deduction
Top Venues
CoRR
Log. Methods Comput. Sci.
FoSSaCS
Proc. ACM Program. Lang.
</>
Publications
</>