Definability Results for Top-Down Tree Transducers

Sebastian Maneth, Helmut Seidl, Martin Vu. Definability Results for Top-Down Tree Transducers. Int. J. Found. Comput. Sci., 34(2&3):253-287, February & April 2023. [doi]

Abstract

Abstract is missing.