RUS
ENG
Full version
PEOPLE
De Nivelle Hans
Publications in Math-Net.Ru
A recursive inclusion checker for recursively defined subtypes
Model. Anal. Inform. Sist.
,
28
:4 (2021),
414–433
©
Steklov Math. Inst. of RAS
, 2024