Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Bisimulation Finiteness of Pushdown Systems Is Elementary

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:07:25Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryNiemcy
dc.conference.datefinish2020-07-11
dc.conference.datestart2020-07-08
dc.conference.placeSaarbrücken
dc.conference.seriesIEEE Symposium on Logic in Computer Science
dc.conference.seriesIEEE Symposium on Logic in Computer Science
dc.conference.seriesshortcutLICS
dc.conference.shortcutLICS 2020
dc.conference.weblinkhttps://lics.siglog.org/lics20/
dc.contributor.authorParys, Paweł
dc.contributor.authorGöller, Stefan
dc.date.accessioned2024-01-24T18:39:35Z
dc.date.available2024-01-24T18:39:35Z
dc.date.issued2020
dc.description.financePublikacja bezkosztowa
dc.identifier.doi10.1145/3373718.3394827
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/102368
dc.identifier.weblinkhttps://dl.acm.org/doi/pdf/10.1145/3373718.3394827
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages521-534
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleBisimulation Finiteness of Pushdown Systems Is Elementary
dc.typeJournalArticle
dspace.entity.typePublication