van Heerdt, G;
Kappé, T;
Rot, J;
Sammartino, M;
Silva, A;
(2019)
Tree automata as algebras: Minimisation and determinisation.
In:
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019).
(pp. 6:1-6:22).
LIPICS