@Inproceedings{EPTCS233.4, author = {Almeida, Ricardo Manuel de Oliveira}, year = {2016}, title = {Reducing Nondeterministic Tree Automata by Adding Transitions}, editor = {Bouda, Jan and Hol\'ik, Luk\'a\v{s} and Kofro\v{n}, Jan and Strej\v{c}ek, Jan and Rambousek, Adam}, booktitle = {{\rm Proceedings 11th Doctoral Workshop on} Mathematical and Engineering Methods in Computer Science, {\rm Tel\v{c}, Czech Republic, 21st-23rd October 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {233}, publisher = {Open Publishing Association}, pages = {33-51}, doi = {10.4204/EPTCS.233.4}, }