Artykuł w czasopiśmie
Brak miniatury
Licencja

CC-BYCC-BY - Uznanie autorstwa

A Type System Describing Unboundedness

Autor
Parys, Paweł
Data publikacji
2020
Dyscyplina PBN
informatyka
Czasopismo
Discrete Mathematics and Theoretical Computer Science
Tom
22
Zeszyt
4
ISSN
1365-8050
Data udostępnienia w otwartym dostępie
2020-08-18
Licencja otwartego dostępu
Uznanie autorstwa