- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VIII, 152 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Dresden, Techn. Univ., Diss., 2004 (Nicht für den Austausch)
- Klassifikation
-
Informatik
- Schlagwort
-
Transduktor
Baumautomat
Funktionale Programmiersprache
Deforestation
Formale Semantik
Kategorientheorie
Deforestation ; Formale Semantik ; Funktionale Programmiersprache ; Kategorientheorie ; Monade ; Programmtransformation ; Transduktor
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:32 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
Ähnliche Objekte (12)
Categorical semantics and composition of tree transducers
Syntax directed semantics : formal models based on tree transducers
Syntactic composition of top down tree transducers is short cut fusion
Graded Hoare Logic and its Categorical Semantics
Linear Tree Transducers : From Equivalence to Balancedness
An Note on a Categorical Semantics for ER-Models
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
Models of sharing graphs : a categorical semantics of let and letrec
Synthesis of transducers from relations on finite words and trees
The translation power of top-down tree-to-graph transducers
Categorical semantics and composition of tree transducers
Syntax directed semantics : formal models based on tree transducers
Syntactic composition of top down tree transducers is short cut fusion
Graded Hoare Logic and its Categorical Semantics
Linear Tree Transducers : From Equivalence to Balancedness
An Note on a Categorical Semantics for ER-Models
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
Models of sharing graphs : a categorical semantics of let and letrec
Synthesis of transducers from relations on finite words and trees
The translation power of top-down tree-to-graph transducers
Categorical semantics and composition of tree transducers
Syntax directed semantics : formal models based on tree transducers
Syntactic composition of top down tree transducers is short cut fusion
Graded Hoare Logic and its Categorical Semantics
Linear Tree Transducers : From Equivalence to Balancedness
An Note on a Categorical Semantics for ER-Models
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
Models of sharing graphs : a categorical semantics of let and letrec
Synthesis of transducers from relations on finite words and trees