Artykuł w czasopiśmie
Brak miniatury
Licencja
On the Succinctness of Alternating Parity Good-For-Games Automata
cris.lastimport.scopus | 2024-02-12T19:50:08Z |
dc.affiliation | Uniwersytet Warszawski |
dc.conference.country | Indie |
dc.conference.datefinish | 2020-12-18 |
dc.conference.datestart | 2020-12-14 |
dc.conference.place | Goa |
dc.conference.series | Foundations of Software Technology and Theoretical Computer Science |
dc.conference.series | Foundations of Software Technology and Theoretical Computer Science |
dc.conference.seriesshortcut | FST&TCS |
dc.conference.shortcut | FSTTCS 2020 |
dc.conference.weblink | https://www.fsttcs.org.in/2020/ |
dc.contributor.author | Skrzypczak, Michał |
dc.contributor.author | Boker, Udi |
dc.contributor.author | Kuperberg, Denis |
dc.contributor.author | Lehtinen, Karoliina |
dc.date.accessioned | 2024-01-25T15:49:14Z |
dc.date.available | 2024-01-25T15:49:14Z |
dc.date.issued | 2020 |
dc.description.finance | Publikacja bezkosztowa |
dc.description.volume | 182 |
dc.identifier.doi | 10.4230/LIPICS.FSTTCS.2020.41 |
dc.identifier.issn | 1868-8969 |
dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/114875 |
dc.identifier.weblink | https://drops.dagstuhl.de/opus/volltexte/2020/13282/ |
dc.language | eng |
dc.pbn.affiliation | computer and information sciences |
dc.relation.ispartof | Leibniz International Proceedings in Informatics |
dc.relation.pages | 41:1--41:13 |
dc.rights | ClosedAccess |
dc.sciencecloud | nosend |
dc.title | On the Succinctness of Alternating Parity Good-For-Games Automata |
dc.type | JournalArticle |
dspace.entity.type | Publication |