Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

Löding, Christof (Corresponding author); Winter, Sarah (Corresponding author)

(2014)
Preprint