Media type: E-Book; Thesis Title: Finite automata on unranked trees : extensions by arithmetical and equality constraints Contributor: Wong, Karianto [Verfasser] Extent: Online-Ressource Language: English Identifier: Keywords: Automatentheorie ; Baumautomat ; Monadische Logik ; Presburger-Arithmetik ; Hochschulschrift Origination: University thesis: Aachen, Techn. Hochsch., Diss., 2010 Footnote: Access State: Open Access