One-dimensional logic over trees

Tytuł: One-dimensional logic over trees
Tytuł publikacji grupowej: LIPIcs - Leibniz International Proceedings in Informatics ; 83
Tytuł pracy zbiorowej: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
Twórca: Kieroński, Emanuel ; Kuusisto, Antti
Strony: S. 64-1-64-13
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 9783959770460 ; https://doi.org/10.4230/LIPIcs.MFCS.2017.64
Język publikacji: eng
Wersja Cyfrowa: https://doi.org/10.4230/LIPIcs.MFCS.2017.64
Licencja: CC BY
Szczegółowy typ obiektu: rozdz
Typ obiektu: Rozdział