- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Bremen, Universität Bremen, Dissertation, 2024
- Keyword
-
Baumautomat
Transduktor
- Event
-
Veröffentlichung
- (where)
-
Bremen
- (who)
-
Staats- und Universitätsbibliothek Bremen
- (when)
-
2024
- Creator
-
Vu, Martin
- Contributor
- DOI
-
10.26092/elib/3512
- URN
-
urn:nbn:de:gbv:46-elib84783
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 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
- Vu, Martin
- Maneth, Sebastian
- Filiot, Emmanuel
- Staats- und Universitätsbibliothek Bremen
Time of origin
- 2024
Other Objects (12)
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
On Normalization and Type Checking for Tree Transducers
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Linear Tree Transducers : From Equivalence to Balancedness
A pumping lemma for output languages of attributed tree transducers
Syntax directed semantics : formal models based on tree transducers
On Equivalence and Uniformisation Problems for Finite Transducers
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Synthesis of transducers from relations on finite words and trees
The translation power of top-down tree-to-graph transducers
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
On Normalization and Type Checking for Tree Transducers
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Linear Tree Transducers : From Equivalence to Balancedness
A pumping lemma for output languages of attributed tree transducers
Syntax directed semantics : formal models based on tree transducers
On Equivalence and Uniformisation Problems for Finite Transducers
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Synthesis of transducers from relations on finite words and trees
The translation power of top-down tree-to-graph transducers
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
On Normalization and Type Checking for Tree Transducers
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Linear Tree Transducers : From Equivalence to Balancedness
A pumping lemma for output languages of attributed tree transducers
Syntax directed semantics : formal models based on tree transducers
On Equivalence and Uniformisation Problems for Finite Transducers
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Synthesis of transducers from relations on finite words and trees