@misc{indiciae57455fbdd4ec, title = {Tree Automata as Algebras: Minimisation and Determinisation}, author = {Gerco van Heerdt and Tobias Kappé and Jurriaan Rot and Matteo Sammartino and Alexandra Silva}, year = {2019}, doi = {10.4230/lipics.calco.2019.6}, url = {https://arxiv.org/abs/1904.08802}, note = {Source identifier: 1904.08802} }