Typechecking Top-Down Uniform Unranked Tree Transducers (0)

by W MARTENS, F NEVEN
Venue:in "9th International Conference on Database Theory