Publication:4138171
From MaRDI portal
zbMath0363.68104MaRDI QIDQ4138171
Publication date: 1976
Related Items
Linking theorems for tree transducers, Tree Transformations and Dependencies, Unnamed Item, A Mechanized Theory of Regular Trees in Dependent Type Theory, Morphismes et bimorphismes d'arbres, Extended Multi Bottom-Up Tree Transducers, Compositions of extended top-down tree transducers, Multiple context-free tree grammars: lexicalization and characterization, Composition closure of linear extended top-down tree transducers, Equational tree transformations, Alphabetic and synchronized tree transducers, Bottom-up unranked tree-to-graph transducers for translation into semantic graphs, Determinacy and rewriting of functional top-down and MSO tree transformations, Equational Weighted Tree Transformations with Discounting, Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition, Equational weighted tree transformations, Extended multi bottom-up tree transducers, Extended macro grammars and stack controlled machines