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

Higher-Order Nonemptiness Step by Step

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:05:15Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryIndie
dc.conference.datefinish2020-12-18
dc.conference.datestart2020-12-14
dc.conference.placeGoa
dc.conference.seriesFoundations of Software Technology and Theoretical Computer Science
dc.conference.seriesFoundations of Software Technology and Theoretical Computer Science
dc.conference.seriesshortcutFST&TCS
dc.conference.shortcutFSTTCS 2020
dc.conference.weblinkhttps://www.fsttcs.org.in/2020/
dc.contributor.authorParys, Paweł
dc.date.accessioned2024-01-25T03:08:51Z
dc.date.available2024-01-25T03:08:51Z
dc.date.copyright2020-12-04
dc.date.issued2020
dc.description.accesstimeAT_PUBLICATION
dc.description.financePublikacja bezkosztowa
dc.description.versionFINAL_PUBLISHED
dc.description.volume182
dc.identifier.doi10.4230/LIPICS.FSTTCS.2020.53
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/108459
dc.identifier.weblinkhttps://doi.org/10.4230/LIPIcs.FSTTCS.2020.53
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages53:1-53:14
dc.rightsCC-BY
dc.sciencecloudnosend
dc.titleHigher-Order Nonemptiness Step by Step
dc.typeJournalArticle
dspace.entity.typePublication