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

Amsterdam / Elsevier (2017) [Journal Article]

Information and computation
Volume: 253
Page(s): 336 - 354

Authors

Selected Authors

Löding, Christof
Winter, Sarah

Identifier