TY - RPRT TI - Hyper-Minimization for Deterministic Weighted Tree Automata AU - Andreas Maletti AU - Daniel Quernheim PY - 2014 DO - 10.4204/eptcs.151.22 UR - https://arxiv.org/abs/1405.5610 ID - 1405.5610 ER -