Artykuł w czasopiśmie
Brak miniatury
Licencja
Recursion Schemes and the WMSO+U Logic
dc.affiliation | Uniwersytet Warszawski |
dc.conference.country | Francja |
dc.conference.datefinish | 2018-03-03 |
dc.conference.datestart | 2018-02-28 |
dc.conference.place | Caen |
dc.conference.series | International Symposium on Theoretical Aspects of Computer Science |
dc.conference.series | International Symposium on Theoretical Aspects of Computer Science |
dc.conference.seriesshortcut | STACS |
dc.conference.shortcut | STACS 2018 |
dc.conference.weblink | https://stacs2018.sciencesconf.org/ |
dc.contributor.author | Parys, Paweł |
dc.date.accessioned | 2024-01-25T19:08:15Z |
dc.date.available | 2024-01-25T19:08:15Z |
dc.date.issued | 2018 |
dc.description.finance | Nie dotyczy |
dc.identifier.doi | 10.4230/LIPICS.STACS.2018.53 |
dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/118066 |
dc.pbn.affiliation | computer and information sciences |
dc.rights | ClosedAccess |
dc.sciencecloud | nosend |
dc.title | Recursion Schemes and the WMSO+U Logic |
dc.type | JournalArticle |
dspace.entity.type | Publication |