Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BYCC-BY - Uznanie autorstwa
 

A Type System Describing Unboundedness

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.contributor.authorParys, Paweł
dc.date.accessioned2024-01-24T18:13:49Z
dc.date.available2024-01-24T18:13:49Z
dc.date.copyright2020-08-18
dc.date.issued2020
dc.description.accesstimeAT_PUBLICATION
dc.description.financePublikacja bezkosztowa
dc.description.number4
dc.description.versionFINAL_PUBLISHED
dc.description.volume22
dc.identifier.issn1365-8050
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/101922
dc.identifier.weblinkhttp://dmtcs.episciences.org/6716
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofDiscrete Mathematics and Theoretical Computer Science
dc.rightsCC-BY
dc.sciencecloudnosend
dc.titleA Type System Describing Unboundedness
dc.typeJournalArticle
dspace.entity.typePublication