Formal Efficiency Analysis for Tree Transducer Composition (2007)

by J Voigtländer
Venue:Theory Comput. Syst