Login / Signup
Sumit Sourabh
ORCID
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 7
Top Topics
Point Correspondences
Proof Search
Credit Risk
Modal Logic
Top Venues
J. Log. Comput.
CoRR
TACL
J. Log. Algebraic Methods Program.
</>
Publications
</>