IBN
  



  














    
  


  
Închide

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

2016 - 1

Many-Sorted First-Order Composition-Nominative Logic as Institution
Cenţov Alexei
Computer Science Journal of Moldova
Nr. 1(70) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 28 April, 2016
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 1

Institution for Pure First-Order Composition-Nominative Logic
Cenţov Alexei , Nikitcenko Micola
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 50-63.
Disponibil online 3 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------

2012 - 1

Basics of Intensionalized Data: Presets, Sets, and Nominats
Nikitcenko Micola , Cenţov Alexei
Computer Science Journal of Moldova
Nr. 3(60) / 2012 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 16 December, 2013
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-3 of 3