- Alternative title
-
Über Normalisierung und Typüberprüfung für Baumübersetzer
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Diss., 2011
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2011
- Creator
-
Friese, Sylvia
- Contributor
-
Schulz, Klaus U.
Seidl, Helmut
- URN
-
urn:nbn:de:bvb:91-diss-20110727-1078090-1-9
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
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.
Object type
- Hochschulschrift
Associated
- Friese, Sylvia
- Schulz, Klaus U.
- Seidl, Helmut
- Universitätsbibliothek der TU München
Time of origin
- 2011
Other Objects (12)
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Linear Tree Transducers : From Equivalence to Balancedness
Type-checking AHEAD
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
Model checking finite paths and trees
Type checking XML transformations
Syntax directed semantics : formal models based on tree transducers
Static type-checking is dead, long live static type-checking in Python!
Static Type Checking With Mypy
Synthesis of transducers from relations on finite words and trees
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Linear Tree Transducers : From Equivalence to Balancedness
Type-checking AHEAD
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
Model checking finite paths and trees
Type checking XML transformations
Syntax directed semantics : formal models based on tree transducers
Static type-checking is dead, long live static type-checking in Python!
Static Type Checking With Mypy
Synthesis of transducers from relations on finite words and trees
Categorical semantics and composition of tree transducers
Categorical semantics and composition of tree transducers
Linear Tree Transducers : From Equivalence to Balancedness
Type-checking AHEAD
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
Rule extraction for multi bottom-up tree transducers
Model checking finite paths and trees
Type checking XML transformations
Syntax directed semantics : formal models based on tree transducers
Static type-checking is dead, long live static type-checking in Python!
Static Type Checking With Mypy