| Математична логіка та теорія алгоритмів МС Нікітченко, СС Шкільняк К.: ВПЦ Київський університет, 2008 | 98* | 2008 |
| Applied logic M Nikitchenko, S Shkilniak Кyiv: VPC Кyivskyi Universytet (in ukr), 2013 | 66* | 2013 |
| Algebras and logics of partial quasiary predicates M Nikitchenko, S Shkilniak Algebra and discrete mathematics, 263-278, 2017 | 34 | 2017 |
| Pure first-order logics of quasiary predicates МС Нікітченко, ОС Шкільняк, СС Шкільняк ПРОБЛЕМИ ПРОГРАМУВАННЯ, 2017 | 24* | 2017 |
| Semantic properties of logics of quasiary predicates M Nikitchenko, S Shkilniak Workshop on Foundations of Informatics: Proceedings FOI-2015. Chisinau …, 2015 | 22 | 2015 |
| Відношення логічного наслідку в композиційно-номінативних логіках СС Шкільняк Інститут програмних систем НАН України, 2010 | 14 | 2010 |
| Spectrum of sequent calculi of first-order composition-nominative logics S SHKILNIAK Problems in Progamming, 22-37, 2013 | 10 | 2013 |
| Pure first-order quasiary logics with equality predicates MS Nikitchenko, SS Shkilniak PROBLEMS IN PROGRAMMING, 3-23, 2018 | 9 | 2018 |
| Логики квазиарных предикатов первого порядка СС Шкильняк Кибернетика и системный анализ, 32-50, 2010 | 9 | 2010 |
| Firstorder composition-nominative logics with generalized renominations M Nikitchenko, O Shkilniak, S Shkilniak CEUR Workshop Proceedings, 17-28, 2014 | 8 | 2014 |
| Propositional logics of partial predicates with composition of predicate complement MS Nikitchenko, OS Shkilniak, SS Shkilniak, TA Mamedov PROBLEMS IN PROGRAMMING, 03-13, 2019 | 7 | 2019 |
| Спеціальні відношення логічного наслідку в логіках квазіарних предикатів СС Шкільняк Проблеми програмування, 36-48, 2011 | 7 | 2011 |
| First-order logics of quasiary predicates SS Shkilniak Cybernetics and Systems Analysis 46 (6), 884-899, 2010 | 7 | 2010 |
| Неоклассические логики предикатов НС Никитченко, СС Шкильняк Проблемы проr граммирования, 3-17, 2000 | 7 | 2000 |
| Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. M Nikitchenko, O Shkilniak, S Shkilniak, T Mamedov Computer Science Journal of Moldova 27 (2), 2019 | 6 | 2019 |
| Algebras of general non-deterministic predicates MS Nikitchenko, OS Shkilniak, SS Shkilniak Problems in programming, 5-21, 2018 | 6 | 2018 |
| Основи математичної логіки МС Нікітченко, СС Шкільняк К.: ВПЦ «Київський університет, 2006 | 6 | 2006 |
| Неокласичні секвенційні числення СС Шкільняк Вісн. Київ. Ун. Сер.: фіз.-мат. науки, 261-274, 2002 | 6 | 2002 |
| Композиційно-номінативні модальні логіки МС Нікітченко, СС Шкільняк Проблемы программирования, 27-33, 2002 | 6 | 2002 |
| Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement MS Nikitchenko, ОS Shkilniak, SS Shkilniak PROBLEMS IN PROGRAMMING, 182-197, 2020 | 5 | 2020 |
Mykola (Nikolaj) Nikitchenko - Нікітче...Taras Shevchenko National University of KyivПодтвержден адрес электронной почты в домене knu.ua
