- Weitere Titel
-
Lineare Baumübersetzer
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2020
- Schlagwort
-
Transducers
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2020
- Urheber
-
Löbel, Raphaela
- Beteiligte Personen und Organisationen
-
Seidl, Helmut
Maneth, Sebastian
Seidl, Helmut
- URN
-
urn:nbn:de:bvb:91-diss-20201127-1552125-1-5
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
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
- Löbel, Raphaela
- Seidl, Helmut
- Maneth, Sebastian
- Universitätsbibliothek der TU München
Entstanden
- 2020
Ähnliche Objekte (12)
On Equivalence and Uniformisation Problems for Finite Transducers
Synthesis of transducers from relations on finite words and trees
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
On Normalization and Type Checking for Tree Transducers
Rule extraction for multi bottom-up tree transducers
oTree: The Equality Equivalence Test
Syntax directed semantics : formal models based on tree transducers
The translation power of top-down tree-to-graph transducers
A pumping lemma for output languages of attributed tree transducers
3D mesoscopic scale optoacoustic imaging using linear array transducers
On Equivalence and Uniformisation Problems for Finite Transducers
Synthesis of transducers from relations on finite words and trees
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
On Normalization and Type Checking for Tree Transducers
Rule extraction for multi bottom-up tree transducers
oTree: The Equality Equivalence Test
Syntax directed semantics : formal models based on tree transducers
The translation power of top-down tree-to-graph transducers
A pumping lemma for output languages of attributed tree transducers
3D mesoscopic scale optoacoustic imaging using linear array transducers
On Equivalence and Uniformisation Problems for Finite Transducers
Synthesis of transducers from relations on finite words and trees
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
On Normalization and Type Checking for Tree Transducers
Rule extraction for multi bottom-up tree transducers
oTree: The Equality Equivalence Test
Syntax directed semantics : formal models based on tree transducers
The translation power of top-down tree-to-graph transducers
A pumping lemma for output languages of attributed tree transducers