- Modal logics with composition on finite forests
Description
- Title: Modal logics with composition on finite forests
- Collective work title: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020)
- Creator: Bednarczyk, Bartosz ; Demri, Stéphane ; Fervari, Raul ; Mansutti, Alessio
- Pages: S. 167-180
- Description: 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.
- Publisher: Association for Computing Machinery
- Place of publishing: New York
- Date issued: 2020
- Type: Tekst
- Identifier: ISBN 9781450371049 ; https://doi.org/10.1145/3373718.3394787
- Language: eng
- Has version: https://doi.org/10.1145/3373718.3394787
- Detailed object type: rozdz
- Object type: Rozdział