Oksana Shkilniak

According to our database, Oksana Shkilniak authored at least 11 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2022

First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality.

Stepan S. Shkilniak, Oksana Shkilniak

Proceedings of the 13th International Scientific and Practical Programming Conference, 2022

2020

Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), 2020

Relations of Logical Consequence in Program-oriented Logics of Quasiary Predicates.

Oksana Shkilniak

Proceedings of the 10th International Conference on Advanced Computer Information Technologies, 2020

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 10th International Conference on Advanced Computer Information Technologies, 2020

2019

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov

Comput. Sci. J. Moldova, 2019

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Program Logics of Renominative Level with the Composition of Predicate Complement.

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 15th International Conference on ICT in Education, 2019

Program Logics Based on Algebras with the Composition of Predicate Complement.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 9th International Conference on Advanced Computer Information Technologies, 2019

2018

Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, 2018

2016

Pure first-order logics of quasiary predicates.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

2014

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations).

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 9th International Conference of Programming, Kyiv, 2014