Johanna Högberg, Andreas Maletti, Jonathan May. Bisimulation Minimisation for Weighted Tree Automata. In Tero Harju, Juhani Karhumäki, Arto Lepistö, editors, Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings. Volume 4588 of Lecture Notes in Computer Science, pages 229-241, Springer, 2007. [doi]
Abstract is missing.