Media type: E-Book; Thesis Title: Kleene-type results for weighted tree-automata Contributor: Pech, Christian [Author] Published: 2004 Extent: Online-Ressource Language: English Identifier: RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Automat ; Baum ; Baumautomat ; Fixpunkt ; Formale Sprache ; Iterationstheorie ; Hochschulschrift Origination: University thesis: Dresden, Techn. Univ., Diss., 2003 Footnote: Information of inventory: Elektronischer Volltext - Zugang über WWW Access State: Open Access Rights information: In Copyright