Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Де Нивелле Ханс https://www.mathnet.ru/rus/person179895 Список публикаций на Google Scholar https://orcid.org/0000-0001-9343-6679 Публикации в базе данных Math-Net.Ru Цитирования 2021 1. H. de Nivelle, “A recursive inclusion checker for recursively defined subtypes”, Модел. и анализ информ. систем, 28:4 (2021),  414–433   1 Организации Назарбаев Университет