Opis

• Tytuł: Two-variable logic with counting and trees
• Tytuł pracy zbiorowej: 28th Annual IEEE
• Twórca: Charatonik, Witold ; Witkowski, Piotr
• Strony: S. 73-82
• Opis: Zawiera streszczenie. ; Zawiera bibliografię.
• Język Abstraktu: eng
• Wydawca: IEEE Computer Society
• Miejsce wydania: Piscataway
• Data wydania: 2013
• Typ: Tekst
• Identyfikator: ISBN 9781479904136 ; https://doi.org/10.1109/LICS.2013.12
• Język publikacji: eng
• Wersja Cyfrowa: http://doi.ieeecomputersociety.org/10.1109/LICS.2013.12
• Szczegółowy typ obiektu: rozdz
• Typ obiektu: Rozdział