Minimizing deterministic weighted tree automata (2009)

by A Maletti
Venue:Inform. and Comput