Media type: Book Title: Algebras for classifying regular tree languages and an application to frontier testability Contributor: Wilke, Thomas [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1993 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9313 Extent: 26 S.; graph. Darst Language: English Origination: Footnote: