Подписаться
Alexey Chentsov
Alexey Chentsov
Другие именаОлексій Ченцов
Taras Shevchenko National University of Kyiv
Подтвержден адрес электронной почты в домене knu.ua - Главная страница
Название
Процитировано
Процитировано
Год
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–6