Tree automata with constraints on infinite trees

Alternative title
Baumautomaten mit Constraints auf unendlichen Bäumen
Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
RWTH Aachen University, Dissertation, 2021

Keyword
Trees
Robots
Infinite

Event
Veröffentlichung
(where)
Aachen
(who)
Universitätsbibliothek der RWTH Aachen
(when)
2021
Creator
Contributor
Löding, Christof
Grädel, Erich

DOI
10.18154/RWTH-2021-12010
URN
urn:nbn:de:101:1-2022020302370490031911
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:35 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 2021

Other Objects (12)