Media type: E-Book Title: Tree automata with constraints on infinite trees Other titles: Baumautomaten mit Constraints auf unendlichen Bäumen Contributor: Landwehr, Patrick [Verfasser]; Löding, Christof [Akademischer Betreuer]; Grädel, Erich [Akademischer Betreuer] imprint: Aachen: Universitätsbibliothek der RWTH Aachen, 2021 Extent: Online-Ressource Language: English DOI: 10.18154/RWTH-2021-12010 Identifier: Keywords: Trees ; Robots ; Infinite Origination: University thesis: Dissertation, RWTH Aachen University, 2021 Footnote: Access State: Open Access