Oksana S. 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

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)