Andreas Maletti. A Backward and a Forward Simulation for Weighted Tree Automata. In Symeon Bozapalidis, George Rahonis, editors, Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings. Volume 5725 of Lecture Notes in Computer Science, pages 288-304, Springer, 2009. [doi]
Abstract is missing.