41 citations · 224 across the 20 of their papers we have counts for
1 paper · 1 filter
Joost Engelfriet, Hendrik Jan Hoogeboom
String transductions that are definable in monadic second-order (mso) logic (without the use of parameters) are exactly those realized by deterministic two-way finite state transdu…