Follow
Alexey Chentsov
Alexey Chentsov
Other namesОлексій Ченцов
Taras Shevchenko National University of Kyiv
Verified email at knu.ua - Homepage
Title
Cited by
Cited by
Year
Basics of intensionalized data: Presets, sets, and nominats
M Nikitchenko, A Chentsov
Computer Science Journal of Moldova 60 (3), 334-365, 2012
62012
Composition-Nominative Logics as Institutions
A Chentsov, M Nikitchenko
Logica Universalis 12, 221-238, 2018
12018
Institution for pure first-order composition-nominative logic
A Chentsov, M Nikitchenko
Workshop on Foundations of Informatics 1, 50-63, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–6