Extending two-variable logic on trees

Tytuł: Extending two-variable logic on trees
Tytuł publikacji grupowej: Leibniz International Proceedings in Informatics LIPIcs ; 82
Tytuł pracy zbiorowej: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Twórca: Bednarczyk, Bartosz ; Charatonik, Witold ; Kieroński, Emanuel
Strony: S. 11-1-11-20
Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
Język Abstraktu: eng
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Miejsce wydania: Wadern
Data wydania: 2017
Typ: Tekst
Identyfikator: ISBN 9783959770453 ; https://doi.org/10.4230/LIPIcs.CSL.2017.11
Język publikacji: eng
Wersja Cyfrowa: https://doi.org/10.4230/LIPIcs.CSL.2017.11
Licencja: CC BY
Szczegółowy typ obiektu: rozdz
Typ obiektu: Rozdział