1 paper
Sebastian Maneth, Helmut Seidl
We consider two natural subclasses of deterministic top-down tree-to-tree transducers, namely, linear and uniform-copying transducers. For both classes we show that it is decidable…