On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data

by Ivanov Ievgen, Korniłowicz Artur, Nikitchenko Mykola
Published 2018-07-01

Partial Correctness of GCD Algorithm

by Ivanov Ievgen, Korniłowicz Artur, Nikitchenko Mykola
Published 2018-07-01

Kleene Algebra of Partial Predicates

by Korniłowicz Artur, Ivanov Ievgen, Nikitchenko Mykola
Published 2018-04-01

On Algebras of Algorithms and Specifications over Uninterpreted Data

by Ivanov Ievgen, Korniłowicz Artur, Nikitchenko Mykola
Published 2018-07-01

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

by Ivanov Ievgen, Korniłowicz Artur, Nikitchenko Mykola
Published 2018-07-01

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

by Ivanov Ievgen, Nikitchenko Mykola, Abraham Uri
Published 2015-12-01

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

by Ivanov Ievgen, Nikitchenko Mykola, Kryvolap Andrii, Korniłowicz Artur
Published 2017-10-01