Login / Signup

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

Christof LödingSarah Winter
Published in: Inf. Comput. (2017)
Keyphrases