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

Christof Löding, Sarah Winter. Synthesis of deterministic top-down tree transducers from automatic tree relations. Inf. Comput., 253:336-354, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.