Opis

• Tytuł: Complexity of two-variable logic on finite trees
• Tytuł publikacji grupowej: Lecture Notes in Computer Science ; Vol. 7966
• Tytuł pracy zbiorowej: Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II ; Lecture Notes in Computer Science
• Twórca: Benaim, Saguy ; Benedikt, Michael ; Charatonik, Witold ; Kieroński, Emanuel ; Lenhardt, Rastislav ; Mazowiecki, Filip ; Worrell, James
• Strony: S. 74-88
• Opis: Zawiera streszczenie. ; Zawiera bibliografię.
• Język Abstraktu: eng
• Wydawca: Heidelberg : Springer
• Miejsce wydania: Berlin
• Data wydania: 2013
• Typ: Tekst
• Identyfikator: ISBN 9783642392115 ; https://doi.org/10.1007/978-3-642-39212-2_10
• Język publikacji: eng
• Wersja Cyfrowa: http://dx.doi.org/10.1007/978-3-642-39212-2_10
• Szczegółowy typ obiektu: rozdz
• Typ obiektu: Rozdział