Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
De Nivelle, Hans
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:35
Abstract pages:55
Full texts:25
References:20

https://www.mathnet.ru/eng/person179895
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0001-9343-6679

Publications in Math-Net.Ru Citations
2021
1. H. de Nivelle, “A recursive inclusion checker for recursively defined subtypes”, Model. Anal. Inform. Sist., 28:4 (2021),  414–433  mathnet 1

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024