IBN
  



  














    
  


    
Închide

Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev

2018 - 1

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Ivanov Ievgen , Kornilowicz Artur , Nikitcenko Micola
Computer Science Journal of Moldova
Nr. 1(76) / 2018 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 4 May, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Ivanov Ievgen , Kornilowicz Artur , Nikitcenko Micola
Conference on Mathematical Foundations of Informatics
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97.
Disponibil online 19 March, 2018
-----------------------------------------------------------------------------------------------------------------------------------
Nominative data with ordered set of names
Skobelev Volodymyr , Ivanov Ievgen , Nikitcenko Micola
Computer Science Journal of Moldova
Nr. 2(74) / 2017 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 14 August, 2017
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 2

Proving Properties of Programs on Hierarchical Nominative Data
Ivanov Ievgen , Nikitcenko Micola , Skobelev Volodymyr
Computer Science Journal of Moldova
Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 6 December, 2016
-----------------------------------------------------------------------------------------------------------------------------------
Properties of Nominative Programs Specified by Effective Definitional Schemes
Ivanov Ievgen , Nikitcenko Micola , Skobelev Volodymyr
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 222-240.
Disponibil online 30 March, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 2

Analysis of Nominative Data Sets Structure
Skobelev Volodymyr , Ivanov Ievgen , Nikitcenko Micola
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 65-76.
Disponibil online 3 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------
Set-theoretic Analysis of Nominative Data
Skobelev Volodymyr , Ivanov Ievgen , Nikitcenko Micola
Computer Science Journal of Moldova
Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 26 November, 2015
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-7 of 7