Подписаться
Mykola (Nikolaj) Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович
Mykola (Nikolaj) Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович
Taras Shevchenko National University of Kyiv
Подтвержден адрес электронной почты в домене knu.ua - Главная страница
Название
Процитировано
Процитировано
Год
A composition nominative approach to program semantics
NS Nikitchenko
881998
Математична логіка та теорія алгоритмів
МС Нікітченко, СС Шкільняк
К.: ВПЦ Київський університет, 2008
542008
Extending Floyd-Hoare logic for partial pre-and postconditions
A Kryvolap, M Nikitchenko, W Schreiner
Information and Communication Technologies in Education, Research, and …, 2013
532013
Insertion modeling in distributed system design
AA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ...
Інститут програмних систем НАН України, 2008
532008
Applied logic
M Nikitchenko, S Shkilniak
Кyiv: VPC Кyivskyi Universytet (in ukr), 2013
472013
Mathematical logic and theory of algorithms
M Nikitchenko, S Shkilniak
Кyiv: VPC Кyivskyi Universytet (in ukr), 2008
442008
Композиционно-номинативный подход к уточнению понятия программы
НС Никитченко
Проблемы программирования, 16-31, 1999
431999
Композиционные базы данных
ИА Басараб, НС Никитченко, ВН Редько
К.: Либідь, 1992
391992
Algebras and logics of partial quasiary predicates
M Nikitchenko, S Shkilniak
Algebra and Discrete Mathematics, 2017
342017
Satisfiability in composition-nominative logics
M Nikitchenko, V Tymofieiev
Open Computer Science 2 (3), 194-213, 2012
342012
Теоретичні основи програмування: Навчальний посібник [Електронний ресурс]
МС Нікітченко
Київ: КНУ ім. ТГ Шевченка 200, 2009
292009
On algebraic properties of nominative data and functions
VG Skobelev, M Nikitchenko, I Ivanov
Information and Communication Technologies in Education, Research, and …, 2014
252014
Pure first-order logics of quasiary predicates
MS Nikitchenko, ОS Shkilniak, SS Shkilniak
Problems in Programming, 73-86, 2016
222016
Semantic properties of logics of quasiary predicates
M Nikitchenko, S Shkilniak
Workshop on Foundations of Informatics 1, 180-197, 2015
222015
Kleene algebra of partial predicates
A Korniłowicz, I Ivanov, M Nikitchenko
Formalized Mathematics 26 (1), 11-20, 2018
202018
Formalization of the nominative algorithmic algebra in Mizar
A Korniłowicz, A Kryvolap, M Nikitchenko, I Ivanov
Information Systems Architecture and Technology: Proceedings of 38th …, 2018
202018
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid.
L van Moergestel, E Puik, D Telgen, JJC Meyer
ICTERI, 172-187, 2015
192015
Прикладна логіка
МС Нікітченко, СС Шкільняк
К.: ВПЦ Київський університет, 2013
192013
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre-and Post-Conditions.
I Ivanov, MS Nikitchenko
ICTERI Workshops, 716-724, 2018
182018
Satisfiability and validity problems in many-sorted composition-nominative pure predicate logics
MS Nikitchenko, VG Tymofieiev
ICT in Education, Research, and Industrial Applications: 8th International …, 2013
182013
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20