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

History-dependent nominal μ-calculus

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.authorKlin, Bartosz
dc.contributor.authorEberhart, Clovis
dc.date.accessioned2024-01-25T03:28:44Z
dc.date.available2024-01-25T03:28:44Z
dc.date.issued2019
dc.description.financeNie dotyczy
dc.identifier.doi10.1109/LICS.2019.8785736
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/108553
dc.identifier.weblinkhttp://www.scopus.com/inward/record.url?eid=2-s2.0-85070779735&partnerID=MN8TOARS
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleHistory-dependent nominal μ-calculus
dc.typeJournalArticle
dspace.entity.typePublication