> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Tree automata with constraints on infinite trees Beteiligte: Landwehr, Patrick [VerfasserIn]; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2021 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2021-12010 Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, RWTH Aachen University, 2021 Anmerkungen: Zugangsstatus: Freier Zugang