Login / Signup
Petar Vukmirovic
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 23
Top Topics
Higher Order
Deductive Reasoning
Boolean Satisfiability
Theorem Proving
Top Venues
CADE
CoRR
J. Autom. Reason.
ITP
</>
Publications
</>