- The triguarded fragment with transitivity
Opis
- Tytuł: The triguarded fragment with transitivity
- Tytuł pracy zbiorowej: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- Twórca: Kieroński, Emanuel ; Malinowski, Adam Marek
- Strony: S. 334-353
- Opis: Materials of 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR-23, Alicante, Spain, May 22-27, 2020.
- Wydawca: EasyChair Publications
- Miejsce wydania: [b.m.w.]
- Data wydania: 2020
- Typ: Tekst
- Identyfikator: https://doi.org/10.29007/z359
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.29007/z359
- Licencja: OTHER
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział