Підписатись
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
562008
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
421999
Композиционные базы данных
ИА Басараб, НС Никитченко, ВН Редько
К.: Либідь, 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
282009
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
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
192018
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
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
Kleene algebra of partial predicates
A Korniłowicz, I Ivanov, M Nikitchenko
Formalized Mathematics 26 (1), 11-20, 2018
182018
Formalization of the algebra of nominative data in Mizar
A Korniłowicz, A Kryvolap, M Nikitchenko, I Ivanov
2017 Federated Conference on Computer Science and Information Systems …, 2017
182017
Прикладна логіка
МС Нікітченко, СС Шкільняк
К.: ВПЦ Київський університет, 2013
182013
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20