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]

No reviews for this publication, yet.