- Weitere Titel
-
Über Normalisierung und Typüberprüfung für Baumübersetzer
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2011
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2011
- Urheber
-
Friese, Sylvia
- Beteiligte Personen und Organisationen
-
Schulz, Klaus U.
Seidl, Helmut
- URN
-
urn:nbn:de:bvb:91-diss-20110727-1078090-1-9
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Friese, Sylvia
- Schulz, Klaus U.
- Seidl, Helmut
- Universitätsbibliothek der TU München
Entstanden
- 2011
Ähnliche Objekte (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