Decision problems of tree transducers with origin

Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot. Decision problems of tree transducers with origin. Inf. Comput., 261(Part):311-335, 2018. [doi]

Abstract

Abstract is missing.