Backward and Forward Bisimulation Minimisation of Weighted Tree Automata. Högberg, J., Maletti, A., & May, J. In Holub, J. & Ždárek, J., editors, volume 4783, of Lecture Notes in Computer Science, pages 109–121, Prague, Czech Republic, July 16–18, 2007. Springer-Verlag.
bibtex   

Downloads: 0