Volgen
Олена Шишацька
Олена Шишацька
Taras Shevchenko National University of Kyiv
Geverifieerd e-mailadres voor knu.ua - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Tрехзначные логики Клини и Трехэлементные цепи
Д Буй, Е Шишацкая
Institute of Information Theories and Applications FOI ITHEA, 2008
62008
Три замечания о трехзначной логике Клини
ШЕВ Буй Д.Б., Поляков С.А.
The Fourth International Conference “Theoretical and Applied Aspects of …, 2007
5*2007
Рефлексивно-транзитивные замыкания бинарных отношений
ДБ Буй, ЕВ Шишацкая
Електротехнічні та комп’ютерні системи, 272-276, 2016
22016
Відношення конфінальності, передпорядки та порядки, семантика фрази ORDER BY запитів SQL подібних мов
КДМ Д.Б. Буй, Н.Д. Кахута, О.В. Шишацька, Sunmade Fabunmi
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015
22015
Логики частичных предикатов, индуцированные трехзначными логиками Клини
ДБ Буй, ЕВ Шишацкая, КД Мухаммед, Ф Санмейд
Штучний інтелект, 84-88, 2015
22015
Композиційна семантика SQL-подібних мов та суміжні питання
ОВШ Д.Б. Буй, Н.Д. Кахута
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2013
22013
Compositional-nominative approach to the client-server systems properties proofs within different formal execution models
T Panchenko, O Shyshatska, L Omelchuk, N Rusina, S Fabunmi
2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019
12019
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements.
L Omelchuk, N Rusina, O Shyshatska
ICTERI, 262-273, 2019
12019
Неклассические логики: трезначные логики Клини и трехэлементные цепи четырехзначные логики, логики частичных предикатов
ШЕВ Буй Д.Б.
VІI міжнародна школа-семінар “Теорія прийняття рішень”, 286-293, 2014
12014
Уніфікована модель даних на основі підходу “сутність-зв’язок”
ОВШ С.А. Поляков, Л.М. Сільвейструк
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2012
1*2012
Виникнення та інтерпретація тризначних логік Кліні
ОВ Шишацька
Інститут програмних систем НАН України, 2010
12010
UML: ИСТОРИЯ, СПЕЦИФИКАЦИЯ, БИБЛИОГРАФИЯ
Д Буй, Е Шишацкая
International Conference «Knowledge-Dialogue-Solutions, 1, 2007
12007
Формальні моделі баз даних та багатозначні логіки: автореф. дис. на здобуття ступеня канд.фіз.-мат.наук : 03.01.05
О Шишацька
Київський національний університет імені Тараса Шевченка, 2019
2019
Побудова п’ятизначних EU-логік
ОВ Шишацька
XIX International Conference DYNAMICAL SYSTEM MODELLING AND STABILITY …, 2019
2019
Many-Valued Logics in the UML/OCL Мodel
OV Shyshatska
1st World Logic Day – January 14, 2019, Book of Abstracts Workshop “Logic …, 2019
2019
Semantic Properties of Five-Valued Logics
OS M. Nikitchenko
1st World Logic Day – January 14, 2019, Book of Abstracts Workshop “Logic …, 2019
2019
Extending the SMT-Lib Standard with Theory of Nominative Data
L Omelchuk, O Shyshatska
2019
Semantic properties of five-valued logics
MS Nikitchenko, EV Shyshatska
PROBLEMS IN PROGRAMMING, 22-35, 2018
2018
П’ятизначні логіки: побудова та інтерпретація
ОВ Шишацька
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2017
2017
Mathematical foundations of multiple inheritance: Reflexive-transitive closure of the binary relations
D Buy, O Shyshatska, S Fabunmi, K Mohammed
2016 XII International Conference on Perspective Technologies and Methods in …, 2016
2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20