- Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants
Opis
- Tytuł: Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants
- Tytuł czasopisma: ACM Transactions on Computational Logic
- Twórca: Kieroński, Emanuel ; Tendera, Lidia
- Strony: s. 8:1-8:34
- Opis: Zawiera ilustracje. ; Bibliogr. ; Streszcz. w jęz. ang.
- Język Abstraktu: eng
- Data wydania: 2018
- Typ: Tekst
- Identyfikator: ISSN 1529-3785 ; https://doi.org/10.1145/3174805
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.1145/3174805
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 19, iss. 2 (2018)