Folgen
Mykola (Nikolaj) Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович
Mykola (Nikolaj) Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович
Taras Shevchenko National University of Kyiv
Bestätigte E-Mail-Adresse bei knu.ua - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A composition nominative approach to program semantics
NS Nikitchenko
871998
Математична логіка та теорія алгоритмів
МС Нікітченко, СС Шкільняк
К.: ВПЦ Київський університет, 2008
562008
Insertion modeling in distributed system design
AA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ...
Інститут програмних систем НАН України, 2008
532008
Extending Floyd-Hoare logic for partial pre-and postconditions
A Kryvolap, M Nikitchenko, W Schreiner
Information and Communication Technologies in Education, Research, and …, 2013
522013
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
432008
Композиционно-номинативный подход к уточнению понятия программы
НС Никитченко
Проблемы программирования, 16-31, 1999
421999
Композиционные базы данных
ИА Басараб, НС Никитченко, ВН Редько
К.: Либідь, 1992
391992
Algebras and logics of partial quasiary predicates
M Nikitchenko, S Shkilniak
Algebra and Discrete Mathematics, 2017
332017
Satisfiability in composition-nominative logics
M Nikitchenko, V Tymofieiev
Open Computer Science 2 (3), 194-213, 2012
332012
Теоретичні основи програмування: Навчальний посібник [Електронний ресурс]
МС Нікітченко
Київ: КНУ ім. ТГ Шевченка 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
Semantic properties of logics of quasiary predicates
M Nikitchenko, S Shkilniak
Workshop on Foundations of Informatics 1, 180-197, 2015
222015
Pure first-order logics of quasiary predicates
MS Nikitchenko, ОS Shkilniak, SS Shkilniak
Problems in Programming, 73-86, 2016
212016
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
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
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
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre-and Post-Conditions.
I Ivanov, MS Nikitchenko
ICTERI Workshops, 716-724, 2018
172018
Kleene algebra of partial predicates
A Korniłowicz, I Ivanov, M Nikitchenko
Formalized Mathematics 26 (1), 11-20, 2018
172018
Прикладна логіка
МС Нікітченко, СС Шкільняк
К.: ВПЦ Київський університет, 2013
172013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20