Artykuł w czasopiśmie
Brak miniatury
Licencja

ClosedAccessDostęp zamknięty
 

Codensity Games for Bisimilarity

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.conference.countryKanada
dc.conference.datefinish2019-07-27
dc.conference.datestart2019-07-24
dc.conference.placeVancouver
dc.conference.seriesIEEE Symposium on Logic in Computer Science
dc.conference.seriesIEEE Symposium on Logic in Computer Science
dc.conference.seriesshortcutLICS
dc.conference.shortcutLICS 2019
dc.conference.weblinkhttps://lics.siglog.org/lics19/
dc.contributor.authorKomorida, Yuichi
dc.contributor.authorHasuo, Ichiro
dc.contributor.authorKlin, Bartosz
dc.contributor.authorKatsumata, Shin-ya
dc.contributor.authorHu, Nick
dc.date.accessioned2024-01-24T19:30:51Z
dc.date.available2024-01-24T19:30:51Z
dc.date.issued2019
dc.description.financeNie dotyczy
dc.identifier.doi10.1109/LICS.2019.8785691
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/103186
dc.identifier.weblinkhttp://xplorestaging.ieee.org/ielx7/8765678/8785654/08785691.pdf?arnumber=8785691
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleCodensity Games for Bisimilarity
dc.typeJournalArticle
dspace.entity.typePublication