REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Autor Nikitchenko, Mykola

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 2 do 7 z 7 < Porzedni 
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2015Event-Based Proof of the Mutual Exclusion Property of Peterson’s AlgorithmIvanov, Ievgen; Nikitchenko, Mykola; Abraham, Uri--
2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2017Simple-Named Complex-Valued Nominative Data – Definition and Basic OperationsIvanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur--