Де Нивелле Ханс

Публикации в базе данных Math-Net.Ru

1. A recursive inclusion checker for recursively defined subtypes
   
   Модел. и анализ информ. систем, 28:4 (2021),  414–433