- On the complexity of the two-variable guarded fragment with transitive guards
Opis
- Tytuł: On the complexity of the two-variable guarded fragment with transitive guards
- Tytuł czasopisma: Information and Computation
- Twórca: Kieroński, Emanuel
- Strony: s. 1663-1703
- Opis: Zawiera ilustracje. ; Bibliogr. ; Abstr.
- Język Abstraktu: eng
- Data wydania: 2006
- Typ: Tekst
- Język publikacji: eng
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 204, nr 11 (2006)