- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Techn. Univ., Diss., 2004
- Klassifikation
-
Informatik
- Schlagwort
-
Transduktor
Baumautomat
Funktionale Programmiersprache
Deforestation
Formale Semantik
Kategorientheorie
Deforestation ; Formale Semantik ; Funktionale Programmiersprache ; Kategorientheorie ; Monade ; Programmtransformation ; Transduktor
- Urheber
- URN
-
urn:nbn:de:swb:14-1107164334013-70165
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 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