- 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;doi: 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ł