Characterizing attributed tree translations in terms of macro tree transducers

Kenji Hashimoto, Sebastian Maneth. Characterizing attributed tree translations in terms of macro tree transducers. Theoretical Computer Science, 963:113943, 2023. [doi]

Abstract

Abstract is missing.