Synthesis of deterministic top-down tree transducers from automatic tree relations

Christof Löding, Sarah Winter. Synthesis of deterministic top-down tree transducers from automatic tree relations. Inf. Comput., 253:336-354, 2017. [doi]

Authors

Christof Löding

This author has not been identified. Look up 'Christof Löding' in Google

Sarah Winter

This author has not been identified. Look up 'Sarah Winter' in Google