- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Dissertation, 2022
- Schlagwort
-
Theoretische Informatik
Gewichteter Automat
Formale Sprache
Büchi-Automat
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
-
Vogler, Heiko
Daviaud, Laure
- URN
-
urn:nbn:de:bsz:14-qucosa2-821955
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Dörband, Frederic
- Vogler, Heiko
- Daviaud, Laure
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Weighted prime geodesic theorems
Weighted k-cardinality trees
A theorem on trees.
The cosmological tree theorem
Weighted Tree Automata with Constraints
Generalized weighted tree similarity algorithms for taxonomy trees
Weighted Unranked Tree Automata over Tree Valuation Monoids
Weighted automata and weighted logics over tree-like structures
A weighted Minkowski theorem for pseudo-cones
A Hajós-like theorem for weighted coloring
Relaxed Weighted Path Order in Theorem Proving
Weighted ASTRID: fast and accurate species trees from weighted internode distances
Weighted prime geodesic theorems
Weighted k-cardinality trees
A theorem on trees.
The cosmological tree theorem
Weighted Tree Automata with Constraints
Generalized weighted tree similarity algorithms for taxonomy trees
Weighted Unranked Tree Automata over Tree Valuation Monoids
Weighted automata and weighted logics over tree-like structures
A weighted Minkowski theorem for pseudo-cones
A Hajós-like theorem for weighted coloring
Relaxed Weighted Path Order in Theorem Proving
Weighted ASTRID: fast and accurate species trees from weighted internode distances
Weighted prime geodesic theorems
Weighted k-cardinality trees
A theorem on trees.
The cosmological tree theorem
Weighted Tree Automata with Constraints
Generalized weighted tree similarity algorithms for taxonomy trees
Weighted Unranked Tree Automata over Tree Valuation Monoids
Weighted automata and weighted logics over tree-like structures
A weighted Minkowski theorem for pseudo-cones
A Hajós-like theorem for weighted coloring
Relaxed Weighted Path Order in Theorem Proving