Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
Löding, Christof (Corresponding author); Winter, Sarah (Corresponding author)
(2014)
Preprint
Identifier
- DOI: 10.4204/EPTCS.161.10
- RWTH PUBLICATIONS: RWTH-2017-00465