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