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