Synthesis of deterministic top-down tree transducers from automatic tree relations
Löding, Christof; Winter, Sarah (Corresponding author)
Amsterdam : Elsevier (2016, 2017)
Contribution to a conference proceedings, Journal Article
In: Information and computation
Volume: 253
Issue: Part 2
Page(s)/Article-Nr.: 336-354
Identifier
- DOI: 10.1016/j.ic.2016.07.013
- RWTH PUBLICATIONS: RWTH-2018-01271