Tрехзначные логики Клини и Трехэлементные цепи Д Буй, Е Шишацкая Institute of Information Theories and Applications FOI ITHEA, 2008 | 6 | 2008 |
Три замечания о трехзначной логике Клини ШЕВ Буй Д.Б., Поляков С.А. The Fourth International Conference “Theoretical and Applied Aspects of …, 2007 | 5* | 2007 |
Рефлексивно-транзитивные замыкания бинарных отношений ДБ Буй, ЕВ Шишацкая Електротехнічні та комп’ютерні системи, 272-276, 2016 | 2 | 2016 |
Відношення конфінальності, передпорядки та порядки, семантика фрази ORDER BY запитів SQL подібних мов КДМ Д.Б. Буй, Н.Д. Кахута, О.В. Шишацька, Sunmade Fabunmi Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015 | 2 | 2015 |
Логики частичных предикатов, индуцированные трехзначными логиками Клини ДБ Буй, ЕВ Шишацкая, КД Мухаммед, Ф Санмейд Штучний інтелект, 84-88, 2015 | 2 | 2015 |
Композиційна семантика SQL-подібних мов та суміжні питання ОВШ Д.Б. Буй, Н.Д. Кахута Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2013 | 2 | 2013 |
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 | 1 | 2019 |
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 | 1 | 2019 |
Неклассические логики: трезначные логики Клини и трехэлементные цепи четырехзначные логики, логики частичных предикатов ШЕВ Буй Д.Б. VІI міжнародна школа-семінар “Теорія прийняття рішень”, 286-293, 2014 | 1 | 2014 |
Уніфікована модель даних на основі підходу “сутність-зв’язок” ОВШ С.А. Поляков, Л.М. Сільвейструк Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2012 | 1* | 2012 |
Виникнення та інтерпретація тризначних логік Кліні ОВ Шишацька Інститут програмних систем НАН України, 2010 | 1 | 2010 |
UML: ИСТОРИЯ, СПЕЦИФИКАЦИЯ, БИБЛИОГРАФИЯ Д Буй, Е Шишацкая International Conference «Knowledge-Dialogue-Solutions, 1, 2007 | 1 | 2007 |
Формальні моделі баз даних та багатозначні логіки: автореф. дис. на здобуття ступеня канд.фіз.-мат.наук : 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 |