- Modal logics with composition on finite forests
Opis
- Tytuł: Modal logics with composition on finite forests
- Tytuł pracy zbiorowej: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020)
- Twórca: Bednarczyk, Bartosz ; Demri, Stéphane ; Fervari, Raul ; Mansutti, Alessio
- Strony: S. 167-180
- Opis: Materials of 35th Annual ACM/IEEE Symposium on Logic in Computer Science - LICS 2020, Saarbrücken, Germany, 8-11.07.2020. ; Przy nazwisku Bartosz Bednarczyk podwójna afiliacja: TU Dresden oraz University of Wrocław.
- Wydawca: Association for Computing Machinery
- Miejsce wydania: New York
- Data wydania: 2020
- Typ: Tekst
- Identyfikator: ISBN 9781450371049 ; https://doi.org/10.1145/3373718.3394787
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.1145/3373718.3394787
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział
