Підписатись
Oksana Shkilniak
Oksana Shkilniak
Інші іменаОксана Шкільняк, O.S. Shkilniak, О.С. Шкільняк
Taras Shevchenko National University of Kyiv
Підтверджена електронна адреса в knu.ua - Домашня сторінка
Назва
Посилання
Посилання
Рік
Pure first-order logics of quasiary predicates
M Nikitchenko, O Shkilniak, S Shkilniak
Problems in Progamming, 73-86, 2016
212016
Семантичні властивості композиційно-номінативних модальних логік
ОС Шкільняк
Проблеми програмування, 11-23, 2009
92009
Relations of logical consequence in logics of partial predicates with composition of predicate complement
OS Shkilniak
Problems in Programming, 11-27, 2019
72019
Propositional logics of partial predicates with composition of predicate complement
MS Nikitchenko, OS Shkilniak, SS Shkilniak, TA Mamedov
PROBLEMS IN PROGRAMMING, 03-13, 2019
72019
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
62019
Algebras of general non-deterministic predicates
MS Nikitchenko, OS Shkilniak, SS Shkilniak
Problems in programming, 5-21, 2018
62018
Logical consequence relations in logics of quasiary predicates
O SHKILNIAK
Problems in Progamming, 13-25, 2016
62016
Logics of partial non-deterministic predicates
M Nikitchenko, O Shkilniak, S Shkilniak
International conference PDMU-2017: abstracts. Vilnius, Lithuania, 94-95, 2017
52017
ЧИСТІ ПЕРШОПОРЯДКОВІ ЛОГІКИ КВАЗІАРНИХ ПРЕДИКАТІВ
МС Нікітченко, ОС Шкільняк, СС Шкільняк
Проблеми програмування, 2016
52016
Semantic Properties of Composition Nominative Modal Logics
OS Shkilniak
Problems in Programming 4, 11-23, 2009
52009
Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення
ОС Шкільняк
Наукові записки НаУКМА. Серія: Комп’ютерні науки 86, 25-34, 2008
52008
Логіки загальних недетермінованих предикатів: cемантичні аспекти
MS Nikitchenko, ОS Shkilniak, SS Shkilniak
PROBLEMS OF PROGRAMMING, 31-45, 2018
4*2018
Modal Logics of Partial Predicates without Monotonicity Restriction
O Shkilniak
Workshop on Foundations of Informatics, 198-211, 2015
42015
Логіки часткових предикатів з розширеними реномінаціями та кванторами
МС Нікітченко, ОС Шкільняк, СС Шкільняк
Вісник Київського національного університету імені Тараса Шевченка. Сер …, 2013
32013
Композиційно-номінативні логіки епістемічного типу
О Шкільняк, С Шкільняк
Наук. записки НаУКМА. Серія: Комп’ютерні науки 125, 4-8, 2011
3*2011
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
22020
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality
M Nikitchenko, O Shkilniak, S Shkilniak
International Conference on Information and Communication Technologies in …, 2019
22019
Program Logics Based on Algebras with the Composition of Predicate Complement
M Nikitchenko, O Shkilniak, S Shkilniak
2019 9th International Conference on Advanced Computer Information …, 2019
22019
Renominative logics with extended renomination, equality and predicate complement
MS Nikitchenko, OS Shkilniak, SS Shkilniak, TA Mamedov
Artificial Intelligence Scientific Journal 24 (1-2), 2019
22019
Модальні логіки немонотонних часткових предикатів
ОС Шкільняк
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015
22015
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20