Login / Signup
Michael Shulman
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 26
Top Topics
Jacobian Matrix
Broad Categories
Modal Logic
Sequent Calculus
Top Venues
CoRR
Math. Struct. Comput. Sci.
Log. Methods Comput. Sci.
LICS
</>
Publications
</>