scientific article; zbMATH DE number 3566209
From MaRDI portal
Publication:4138171
zbMath0363.68104MaRDI QIDQ4138171
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
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
This page was built for publication:
