- 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
- 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.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Landwehr, Patrick
- Löding, Christof
- Grädel, Erich
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2021
Other Objects (12)
Tree Automata with Global Constraints for Infinite Trees
Weighted Tree Automata with Constraints
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Complementation and Inclusion of Weighted Automata on Infinite Trees
Equational and membership constraints for infinite trees
Perfect hashing tree automata
Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version
Efficient XML processing with tree automata
Weighted Unranked Tree Automata over Tree Valuation Monoids
Finite automata on unranked trees : extensions by arithmetical and equality constraints
On trees and tree-like structures in infinite graphs
Tree Automata with Global Constraints for Infinite Trees
Weighted Tree Automata with Constraints
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Complementation and Inclusion of Weighted Automata on Infinite Trees
Equational and membership constraints for infinite trees
Perfect hashing tree automata
Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version
Efficient XML processing with tree automata
Weighted Unranked Tree Automata over Tree Valuation Monoids
Finite automata on unranked trees : extensions by arithmetical and equality constraints
On trees and tree-like structures in infinite graphs
Tree Automata with Global Constraints for Infinite Trees
Weighted Tree Automata with Constraints
Paths in infinite trees : logics and automata
Paths in infinite trees : logics and automata
Complementation and Inclusion of Weighted Automata on Infinite Trees
Equational and membership constraints for infinite trees
Perfect hashing tree automata
Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version
Efficient XML processing with tree automata
Weighted Unranked Tree Automata over Tree Valuation Monoids
Finite automata on unranked trees : extensions by arithmetical and equality constraints