Media type: Book Title: Neue Aspekte in Rabins Theorie der Baumautomaten : [Vortrag zum Fraenkel-Kolloquium, Kiel, 24./25.5.1991] Contributor: Thomas, Wolfgang [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9110 Extent: 15 S.; graph. Darst Language: German Origination: Footnote: