Hyper-Minimization for Deterministic Tree Automata

Artur Jez, Andreas Maletti. Hyper-Minimization for Deterministic Tree Automata. Int. J. Found. Comput. Sci., 24(6):815-830, 2013. [doi]

Abstract

Abstract is missing.