Login / Signup
Stepan S. Shkilniak
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 11
Top Topics
Quantifier Free
Semantic Properties
Modal Logic
Classical First Order Logic
Top Venues
UkrPROG
ACIT
Comput. Sci. J. Moldova
ICTERI (Revised Selected Papers)
</>
Publications
</>