On Induction Principles for Partial Orders von Ivanov, Ievgen

Volltext

On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems von Ivanov, Ievgen

Volltext

Selective-Integrative Technology for the Separation of Colostrum Into Components and the Possibilities of Obtaining Protein Substances From Different Sources von Ivanov, Ievgen, Goltvjansky, Anatolii, Bozhkov, Anatoly, Gromovoy, Taras

Volltext

Implementation of the Composition-nominative Approach to Program Formalization in Mizar von Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko

Volltext

Nominative data with ordered set of names von Volodymyr G. Skobelev, Ievgen Ivanov, Mykola Nikitchenko

Volltext

Proving Properties of Programs on Hierarchical Nominative Data von Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

Volltext

Set-theoretic Analysis of Nominative Data von Volodymyr G. Skobelev, Ievgen Ivanov, Mykola Nikitchenko

Volltext

On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems von Ivanov, Ievgen

Volltext

Kleene Algebra of Partial Predicates von Korniłowicz, Artur, Ivanov, Ievgen, Nikitchenko, Mykola

Volltext

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data von Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola

Volltext

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations von Ivanov, Ievgen, Nikitchenko, Mykola, Kryvolap, Andrii, Korniłowicz, Artur

Volltext

On Algebras of Algorithms and Specifications over Uninterpreted Data von Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola

Volltext

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates von Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola

Volltext

Partial Correctness of GCD Algorithm von Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola

Volltext

On Representations of Abstract Systems with Partial Inputs and Outputs von Ivanov, Ievgen

Volltext

Low-molecular components of colostrum as a regulator of the organism redox-system and biological antidote von Ivanov, Ievgen, Kozheshkurt, Valentyn, Bozhkov, Anatoly, Goltvjansky, Anatolii, Katrich, Victor, Sidorov, Vadim, Gromovoy, Taras

Volltext

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm von Ivanov, Ievgen, Nikitchenko, Mykola, Abraham, Uri

Volltext

Formalization of the Nominative Algorithmic Algebra in Mizar von Korniłowicz, Artur, Kryvolap, Andrii, Nikitchenko, Mykola, Ivanov, Ievgen

Volltext

On Formalization of Semantics of Real-Time and Cyber-Physical Systems von Ivanov, Ievgen, Panchenko, Taras, Nikitchenko, Mykola, Sunmade, Fabunmi

Volltext

On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems von Ivanov, Ievgen

Volltext