Media type: Book; Thesis Title: Hierarchical accepting systems and monadic second-order logic on graphs Contributor: Schiering, Ina [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1998 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9810 Extent: 177 S.; graph. Darst Language: German Keywords: Monade > Mathematische Logik > Stufe 2 > Graph Origination: University thesis: Zugl.: Kiel, Univ., Diss., 1998 Footnote: