Login / Signup
Stepan Shkilniak
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Sequent Calculi
Logical Formulas
Monotonicity Constraints
Datalog Programs
Top Venues
UkrPROG
</>
Publications
</>
Mykola Nikitchenko
,
Oksana S. Shkilniak
,
Stepan Shkilniak
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.
UkrPROG
(2020)