Synthesis of deterministic top-down tree transducers from automatic tree relations

Amsterdam / Elsevier (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