Login / Signup
Denis I. Saveliev
ORCID
Publication Activity (10 Years)
Years Active: 2011-2022
Publications (10 Years): 7
Top Topics
Satisfiability Testing
Modal Logic
Ordered Sets
Universally Quantified
Top Venues
WoLLIC
Math. Log. Q.
Arch. Math. Log.
Order
</>
Publications
</>