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

Modal mu-Calculus with Atoms

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:31:45Z
dc.affiliationUniwersytet Warszawski
dc.conference.countrySzwecja
dc.conference.datefinish2017-08-24
dc.conference.datestart2017-08-20
dc.conference.placeSztokholm
dc.conference.seriesAnnual Conference on Computer Science Logic
dc.conference.seriesAnnual Conference on Computer Science Logic
dc.conference.seriesshortcutCSL
dc.conference.shortcutCSL 2017
dc.conference.weblinkhttps://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co/computer-science-logic-2017-august-20-24-1.717663
dc.contributor.authorKlin, Bartosz
dc.contributor.authorŁełyk, Mateusz
dc.date.accessioned2024-01-25T12:46:25Z
dc.date.available2024-01-25T12:46:25Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.identifier.doi10.4230/LIPICS.CSL.2017.30
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/112739
dc.languageeng
dc.pbn.affiliationphilosophy
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleModal mu-Calculus with Atoms
dc.typeJournalArticle
dspace.entity.typePublication