8 citations · 19 across the 9 of their papers we have counts for
1 paper · 1 filter
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…