Artykuł w czasopiśmie
Brak miniatury
Licencja
Codensity Games for Bisimilarity
dc.affiliation | Uniwersytet Warszawski |
dc.conference.country | Kanada |
dc.conference.datefinish | 2019-07-27 |
dc.conference.datestart | 2019-07-24 |
dc.conference.place | Vancouver |
dc.conference.series | IEEE Symposium on Logic in Computer Science |
dc.conference.series | IEEE Symposium on Logic in Computer Science |
dc.conference.seriesshortcut | LICS |
dc.conference.shortcut | LICS 2019 |
dc.conference.weblink | https://lics.siglog.org/lics19/ |
dc.contributor.author | Komorida, Yuichi |
dc.contributor.author | Hasuo, Ichiro |
dc.contributor.author | Klin, Bartosz |
dc.contributor.author | Katsumata, Shin-ya |
dc.contributor.author | Hu, Nick |
dc.date.accessioned | 2024-01-24T19:30:51Z |
dc.date.available | 2024-01-24T19:30:51Z |
dc.date.issued | 2019 |
dc.description.finance | Nie dotyczy |
dc.identifier.doi | 10.1109/LICS.2019.8785691 |
dc.identifier.uri | https://repozytorium.uw.edu.pl//handle/item/103186 |
dc.identifier.weblink | http://xplorestaging.ieee.org/ielx7/8765678/8785654/08785691.pdf?arnumber=8785691 |
dc.language | eng |
dc.pbn.affiliation | computer and information sciences |
dc.rights | ClosedAccess |
dc.sciencecloud | nosend |
dc.title | Codensity Games for Bisimilarity |
dc.type | JournalArticle |
dspace.entity.type | Publication |