Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

(2014) [Preprint]

Authors

Selected Authors

Löding, Christof
Winter, Sarah

Identifier