Artykuł w czasopiśmie
Brak miniatury
Licencja
A Robust Class of Linear Recurrence Sequences
dc.affiliation | Uniwersytet Warszawski |
dc.conference.country | Hiszpania |
dc.conference.datefinish | 2020-01-16 |
dc.conference.datestart | 2020-01-13 |
dc.conference.place | Barcelona |
dc.conference.series | Annual Conference on Computer Science Logic |
dc.conference.series | Annual Conference on Computer Science Logic |
dc.conference.seriesshortcut | CSL |
dc.conference.shortcut | CSL 2020 |
dc.conference.weblink | https://www.cs.upc.edu/csl2020/ |
dc.contributor.author | Barloy, Corentin |
dc.contributor.author | Lhote, Nathan |
dc.contributor.author | Mazowiecki, Filip |
dc.contributor.author | Fijalkow, Nathanael |
dc.date.accessioned | 2024-01-24T18:06:42Z |
dc.date.available | 2024-01-24T18:06:42Z |
dc.date.issued | 2020 |
dc.description.finance | Publikacja bezkosztowa |
dc.description.volume | 152 |
dc.identifier.doi | 10.4230/LIPICS.CSL.2020.9 |
dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/101845 |
dc.language | eng |
dc.pbn.affiliation | computer and information sciences |
dc.relation.pages | 9:1--9:16 |
dc.rights | ClosedAccess |
dc.sciencecloud | nosend |
dc.title | A Robust Class of Linear Recurrence Sequences |
dc.type | JournalArticle |
dspace.entity.type | Publication |