8 citations · 8 across the 1 of their papers we have counts for
1 paper
Christof Löding, Sarah Winter
We consider the synthesis of deterministic tree transducers from automaton definable specifications, given as binary relations, over finite trees. We consider the case of specifica…