- The triguarded fragment with transitivity
Description
- Title: The triguarded fragment with transitivity
- Collective work title: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- Creator: Kieroński, Emanuel ; Malinowski, Adam Marek
- Pages: S. 334-353
- Description: Materials of 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR-23, Alicante, Spain, May 22-27, 2020.
- Publisher: EasyChair Publications
- Place of publishing: [b.m.w.]
- Date issued: 2020
- Type: Tekst
- Identifier: https://doi.org/10.29007/z359
- Language: eng
- Has version: https://doi.org/10.29007/z359
- License: OTHER
- Detailed object type: rozdz
- Object type: Rozdział