- Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants
Description
- Title: Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants
- Journal title: ACM Transactions on Computational Logic
- Creator: Kieroński, Emanuel;Tendera, Lidia
- Pages: s. 8:1-8:34
- Description: Zawiera ilustracje.;Bibliogr.;Streszcz. w jęz. ang.
- Language of abstract: eng
- Date issued: 2018
- Type: Tekst
- Identifier: ISSN 1529-3785;doi: 10.1145/3174805
- Language: eng
- Has version: https://doi.org/10.1145/3174805
- Detailed object type: art
- Object type: Artykuł
- Location: Vol. 19, iss. 2 (2018)