Basics of intensionalized data: Presets, sets, and nominats M Nikitchenko, A Chentsov Computer Science Journal of Moldova 60 (3), 334-365, 2012 | 6 | 2012 |
Composition-Nominative Logics as Institutions A Chentsov, M Nikitchenko Logica Universalis 12, 221-238, 2018 | 1 | 2018 |
Institution for pure first-order composition-nominative logic A Chentsov, M Nikitchenko Workshop on Foundations of Informatics 1, 50-63, 2015 | 1 | 2015 |
Many-Sorted First-Order Composition-Nominative Logic as Institution A Chentsov Computer Science Journal of Moldova 70 (1), 27-54, 2016 | | 2016 |
Generalization of Linear Morphisms on N in Topoi AI Chentsov, AI Provotar Cybernetics and Systems Analysis 41, 688-694, 2005 | | 2005 |
THIRD DECADE DEVELOPMENTS OF C++ PROGRAMMING OI Chentsov «ТЕОРЕТИЧНІ ТА ПРИКЛАДНІ АСПЕКТИ ПОБУДОВИ ПРОГРАМНИХ СИСТЕМ»(Україна, Київ …, 0 | | |