@Inproceedings{EPTCS151.22, author = {Maletti, Andreas and Quernheim, Daniel}, year = {2014}, title = {Hyper-Minimization for Deterministic Weighted Tree Automata}, editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automata and Formal Languages, {\rm Szeged, Hungary, May 27-29, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {151}, publisher = {Open Publishing Association}, pages = {314-326}, doi = {10.4204/EPTCS.151.22}, }