Pages that link to "Item:Q1247295"

The following pages link to On tree transducers for partial functions (Q1247295):

Displaying 24 items.

• Synthesis of deterministic top-down tree transducers from automatic tree relations (Q515670) (← links)
• Look-ahead on pushdowns (Q579952) (← links)
• Branching synchronization grammars with nested tables (Q596320) (← links)
• Determinacy and rewriting of functional top-down and MSO tree transformations (Q730500) (← links)
• Two-way pebble transducers for partial functions and their composition (Q748432) (← links)
• A complete classification of deterministic root-to-frontier tree transformation classes (Q807029) (← links)
• Definability results for top-down tree transducers (Q832950) (← links)
• Look-ahead removal for total deterministic top-down tree transducers (Q906394) (← links)
• A complete rewriting system for a monoid of tree transformation classes (Q918216) (← links)
• Top-down tree transducers with two-way tree walking look-ahead (Q1185007) (← links)
• A new proof of two theorems about rational transductions (Q1255326) (← links)
• Decidability of the finiteness of ranges of tree transductions (Q1271464) (← links)
• Output string languages of compositions of deterministic macro tree transducers (Q1608323) (← links)
• Decision problems of tree transducers with origin (Q1641005) (← links)
• Visibly pushdown transducers (Q1672009) (← links)
• Top-down tree transducers with deterministic top-down look-ahead (Q1825674) (← links)
• Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity (Q2022308) (← links)
• Visibly Pushdown Transducers with Look-Ahead (Q2891373) (← links)
• Variants of top-down tree transducers with look-ahead (Q3832064) (← links)
• Le théorème de transversale rationnelle dans les langages d'arbres (Q3883537) (← links)
• The use of tree transducers to compute translations between graph algebras (Q4645277) (← links)
• Three hierarchies of transducers (Q4747534) (← links)
• Definability Results for Top-Down Tree Transducers (Q6169966) (← links)
• Functionality of compositions of top-down tree transducers is decidable (Q6178464) (← links)