4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Alain Frisch, Haruo Hosoya
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step towa…