Mykola S. Nikitchenko - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2019

Expressibility in the Kleene Algebra of Partial Predicates with the Complement CompositionIevgen Ivanov, Mykola S. Nikitchenko. icteri 2020: 50-67 [doi]

On the Kleene Algebra of Partial Predicates with Predicate ComplementIevgen Ivanov, Mykola S. Nikitchenko. icteri 2019: 542-551 [doi]

Program-Oriented Logics of Renominative Level with Extended Renomination and EqualityMykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. icteri 2020: 68-88 [doi]

Program Logics of Renominative Level with the Composition of Predicate ComplementMykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. icteri 2019: 603-616 [doi]

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement CompositionMykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov. csjm, 27(2):162-187, 2019. [doi]

2018

An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIevgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. fm, 26(2):159-164, 2018. [doi]

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIevgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. fm, 26(2):149-158, 2018. [doi]

On Algebras of Algorithms and Specifications over Uninterpreted DataIevgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. fm, 26(2):141-147, 2018. [doi]

Partial Correctness of GCD AlgorithmIevgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. fm, 26(2):165-173, 2018. [doi]

Kleene Algebra of Partial PredicatesArtur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko. fm, 26(1):11-20, 2018. [doi]

2012

Sign in or sign up to see more results.

runs on WebDSL